A Decision Procedure for Regular Expression Equivalence in Type Theory
Paper i proceeding, 2011
Författare
Thierry Coquand
Göteborgs universitet
Vincent Siles
Göteborgs universitet
Publicerad i
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 7086 s. 119-134978-3-642-25379-9 (ISBN)
Kategorisering
Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap
Identifikatorer
DOI
10.1007/978-3-642-25379-9_11
ISBN
978-3-642-25379-9