Characterizing Functions in Kleene Algebras.

Jules Desharnais Bernhard Möller

Published in: RelMiCS (2000)

Keyphrases

propositional logic
data structure
genetic algorithm
search engine
multiresolution
hidden markov models
mobile robot
spatial reasoning
distributive lattices