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 -