Zeitschriftenartikel:
S. Bova, L. Cabrer:
"Unification and Projectivity in De Morgan and Kleene Algebras";
Order,
-
(2013),
S. 1
- 29.
Kurzfassung englisch:
We provide a complete classification of solvable instances of the equational unification problem over De Morgan and Kleene algebras with respect to unification type. The key tool is a combinatorial characterization of finitely generated projective De Morgan and Kleene algebras.
Schlagworte:
Distributive lattices, De Morgan and Kleene algebras, Unification, Projectivity
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s11083-013-9295-3
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.