Characterizing determinacy in Kleene algebras.

Jules Desharnais Bernhard Möller

Published in: Inf. Sci. (2001)

Keyphrases

propositional logic
regular expressions
neural network
multiscale
temporal reasoning
spatial reasoning
image processing
clifford algebra
expert systems
conjunctive queries
topological spaces