Results 1 -
0 of
0
No citations were found for this document.
An efficient Coq tactic for deciding Kleene algebras (2010)
by Thomas Braibant, Damien Pous
| Venue: | In Proc. 1st ITP, volume 6172 of LNCS |
