The equational theory of Kleene lattices.

Hajnal Andréka Szabolcs Mikulás István Németi

Published in: Theor. Comput. Sci. (2011)

Keyphrases

propositional logic
neural network
theorem proving
theoretical basis
general theory
real time
machine learning
artificial intelligence
metadata
web services
database systems
evolutionary algorithm
computational model
theoretical framework
boolean algebra
equational theories