Unification and Projectivity in De Morgan and Kleene Algebras.

Simone Bova Leonardo Manuel Cabrer

Published in: Order (2014)

Keyphrases

distributive lattices
propositional logic
regular expressions
theorem proving
boolean algebra
higher order
theorem prover
equational theories
clifford algebra
word order
spatial reasoning
knuth bendix
belief functions
automated theorem proving
general theory
neural network
pattern matching
decision trees