Conference
Deciding Regular Expressions (In-)Equivalence in Coq.
Authors
Moreira N; Pereira D; Sousa SMD
Editors
Kahl W; Griffin TG
Series
Lecture Notes in Computer Science
Volume
7560
Pagination
pp. 98-113
Publisher
Springer
Publication Date
January 1, 2012
ISBN-13
978-3-642-33313-2
Conference proceedings
RAMiCS