![](/img/cover-not-exists.png)
Deciding Kleene algebra terms equivalence in Coq
Moreira, Nelma, Pereira, David, Melo de Sousa, SimãoVolume:
84
Language:
english
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2014.12.004
Date:
May, 2015
File:
PDF, 698 KB
english, 2015