DMCA

An Efficient Coq Tactic for Deciding Kleene Algebras (2009)

by Thomas Braibant , Damien Pous
Citations:17 - 5 self