The Variety of Kleene Algebras with Conversion is not Finitely Based.

Sinisa Crvenkovic Igor Dolinka Zoltán Ésik

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

Keyphrases

wide range
real world
wide variety
information systems
search engine
computer vision
neural network
data mining
image processing
database systems
digital libraries
integrity constraints
regular expressions
propositional logic
inductive inference