Publications

Deciding Regular Expressions (In-)Equivalence in Coq

AuthID
P-008-6SB

Author(s)

Moreira, N

Pereira, D

Melo De Sousa, S

Editor(s)

Wolfram Kahl; Timothy G. Griffin

Document Type

Proceedings Paper

Year published

2012

Published in

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7560 LNCS, Pages: 98-113

Conference

13Th International Conference on Relational and Algebraic Methods in Computer Science, Ramics 2012, Date: 17 September 2012 through 20 September 2012, Location: Cambridge, Sponsors: University of Cambridge, Computer Laboratory;British Logic Colloquium;Winton Capital Management

Indexing