A Decision Procedure for Regular Expression Equivalence in Type Theory
Paper in proceeding, 2011
Author
Thierry Coquand
University of Gothenburg
Vincent Siles
University of Gothenburg
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 7086 119-134978-3-642-25379-9 (ISBN)
Subject Categories
Computer and Information Science
DOI
10.1007/978-3-642-25379-9_11
ISBN
978-3-642-25379-9