Authenticus:P-00A-CBQ | CMUP

Deciding Kleene algebra terms equivalence in Coq

Journal of Logical and Algebraic Methods in Programming | 2015 | article

Publication

Year of publication: 2015

Volume : 84

Pages : 377-401

Month :

CMUP publication : Yes

Authors

D Pereira

SM de Sousa