DMCA

A tactic for deciding Kleene algebras (2009)

by Thomas Braibant , Damien Pous
Venue:In 1st Coq Workshop. Tech. Univ
Citations:13 - 3 self