Unification and Projectivity in De Morgan and Kleene Algebras

Bova, Simone; Cabrer, Leonardo Manuel

by Simone Bova, Leonardo Manuel Cabrer

Reference:

Unification and Projectivity in De Morgan and Kleene AlgebrasSimone Bova, Leonardo Manuel CabrerOrder, volume 31, number 2, pages 159–187, 2014.

Bibtex Entry:

@article{BovaCabrer14,
  author    = {Simone Bova and
               Leonardo Manuel Cabrer},
  title     = {Unification and Projectivity in {De Morgan} and {Kleene} Algebras},
  journal   = {Order},
  volume    = {31},
  number    = {2},
  pages     = {159--187},
  year      = {2014}
}