A brief survey of verified decision procedures for equivalence of regular expressions

Tobias Nipkow; Maximilian Haslbeck

doi:10.1007/978-3-642-40537-2_3

A brief survey of verified decision procedures for equivalence of regular expressions

Tobias Nipkow, Maximilian Haslbeck

Informatics 7 - Chair of Theoretical Computer Science

Technical University of Munich

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

We survey a number of decision procedures for the equivalence of regular expressions that have been formalised with the help of interactive proof assistant over the past few years.

Original language	English
Title of host publication	Automated Reasoning with Analytic Tableaux and Related Methods - 22nd International Conference, TABLEAUX 2013, Proceedings
Pages	10-12
Number of pages	3
DOIs	https://doi.org/10.1007/978-3-642-40537-2_3
State	Published - 2013
Event	22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013 - Nancy, France Duration: 16 Sep 2013 → 19 Sep 2013

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8123 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013
Country/Territory	France
City	Nancy
Period	16/09/13 → 19/09/13

Access to Document

10.1007/978-3-642-40537-2_3

Cite this

Nipkow, T., & Haslbeck, M. (2013). A brief survey of verified decision procedures for equivalence of regular expressions. In Automated Reasoning with Analytic Tableaux and Related Methods - 22nd International Conference, TABLEAUX 2013, Proceedings (pp. 10-12). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8123 LNAI). https://doi.org/10.1007/978-3-642-40537-2_3

Nipkow, Tobias ; Haslbeck, Maximilian. / A brief survey of verified decision procedures for equivalence of regular expressions. Automated Reasoning with Analytic Tableaux and Related Methods - 22nd International Conference, TABLEAUX 2013, Proceedings. 2013. pp. 10-12 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0b796907fc564e2e89345e3ca1c15bd9,

title = "A brief survey of verified decision procedures for equivalence of regular expressions",

abstract = "We survey a number of decision procedures for the equivalence of regular expressions that have been formalised with the help of interactive proof assistant over the past few years.",

author = "Tobias Nipkow and Maximilian Haslbeck",

year = "2013",

doi = "10.1007/978-3-642-40537-2_3",

language = "English",

isbn = "9783642405365",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "10--12",

booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods - 22nd International Conference, TABLEAUX 2013, Proceedings",

note = "22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013 ; Conference date: 16-09-2013 Through 19-09-2013",

}

Nipkow, T & Haslbeck, M 2013, A brief survey of verified decision procedures for equivalence of regular expressions. in Automated Reasoning with Analytic Tableaux and Related Methods - 22nd International Conference, TABLEAUX 2013, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8123 LNAI, pp. 10-12, 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, Nancy, France, 16/09/13. https://doi.org/10.1007/978-3-642-40537-2_3

A brief survey of verified decision procedures for equivalence of regular expressions. / Nipkow, Tobias; Haslbeck, Maximilian.
Automated Reasoning with Analytic Tableaux and Related Methods - 22nd International Conference, TABLEAUX 2013, Proceedings. 2013. p. 10-12 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8123 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A brief survey of verified decision procedures for equivalence of regular expressions

AU - Nipkow, Tobias

AU - Haslbeck, Maximilian

PY - 2013

Y1 - 2013

N2 - We survey a number of decision procedures for the equivalence of regular expressions that have been formalised with the help of interactive proof assistant over the past few years.

AB - We survey a number of decision procedures for the equivalence of regular expressions that have been formalised with the help of interactive proof assistant over the past few years.

UR - http://www.scopus.com/inward/record.url?scp=84885693704&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-40537-2_3

DO - 10.1007/978-3-642-40537-2_3

M3 - Conference contribution

AN - SCOPUS:84885693704

SN - 9783642405365

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 10

EP - 12

BT - Automated Reasoning with Analytic Tableaux and Related Methods - 22nd International Conference, TABLEAUX 2013, Proceedings

T2 - 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013

Y2 - 16 September 2013 through 19 September 2013

ER -

Nipkow T, Haslbeck M. A brief survey of verified decision procedures for equivalence of regular expressions. In Automated Reasoning with Analytic Tableaux and Related Methods - 22nd International Conference, TABLEAUX 2013, Proceedings. 2013. p. 10-12. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-40537-2_3

A brief survey of verified decision procedures for equivalence of regular expressions

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this