Deciding Kleene algebras (0)

by Thomas Braibant, Damien Pous
Venue:in Coq. Logical Methods in Computer Science