An Efficient Coq Tactic for Deciding Kleene Algebras (2009)

by Thomas Braibant , Damien Pous
Citations:8 - 2 self