Publications
Deciding regular expressions (in-)equivalence in Coq
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012 | inproceedings
Publication
Year of publication: 2012
Volume : 7560 LNCS
Pages : 98-113
Month :
CMUP publication : Yes