Publications in Scientific Journals:
S. Bova, L. Cabrer:
"Unification and Projectivity in De Morgan and Kleene Algebras";
Order,
-
(2013),
1
- 29.
English abstract:
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.
Keywords:
Distributive lattices, De Morgan and Kleene algebras, Unification, Projectivity
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s11083-013-9295-3
Created from the Publication Database of the Vienna University of Technology.