Non-Deterministic Kleene Coalgebras

Alexandra Silva Marcello M. Bonsangue Jan J. M. M. Rutten

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

propositional logic
artificial intelligence
search algorithm
special case
databases
three dimensional
computational complexity
fluid model