Genericity and the pi-calculus.

Martin Berger Kohei Honda Nobuko Yoshida

Published in: Acta Informatica (2005)

Keyphrases

spatio temporal databases
real time
data sets
neural network
formal language
automated deduction
computer algebra
data mining
information retrieval