A complete axiomatisation of reversible Kleene lattices.

Published in: CoRR (2019)

Keyphrases

propositional logic
special case
markov chain
data sets
regular expressions
neural network
real world
data mining
genetic algorithm
computer vision
database systems
expert systems
multiresolution
mobile robot
query language
cellular automata