Unification and Projectivity in De Morgan and Kleene Algebras |
| |
| Authors: | Simone Bova Leonardo Cabrer |
| |
| Institution: | 1. Institut für Informationssysteme, Technische Universit?t Wien, Wien, Austria
2. Mathematics Institute, University of Bern, Bern, Switzerland
|
| |
| 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: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
