-calculus.

René David Karim Nour

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

automated deduction
formal language
information retrieval
timed automata
search engine
information systems
mobile robot
database query languages