-Calculus.

Published in: ICTAC (2007)

Keyphrases

computer algebra
databases
artificial intelligence
information systems
knowledge base
timed automata
relation algebra
real time
multiscale
formal language
automated deduction