Unification and Projectivity in De Morgan and Kleene Algebras

Simone Bova and Leonardo Manuel Cabrer
January 2014
Cite
Type
Journal Article