-Calculus.

Fabio Gadducci Alberto Lluch-Lafuente

Published in: CALCO (2007)

Keyphrases

computer algebra
search algorithm
timed automata
database
databases
neural network
data mining
multi agent
model checking
expressive power
formal language
automated theorem proving