Genericity and the pi-Calculus.

Martin Berger Kohei Honda Nobuko Yoshida

Published in: FoSSaCS (2003)

Keyphrases

neural network
real time
spatio temporal databases
learning algorithm
knowledge base
expert systems
evolutionary algorithm
proof procedure
computer algebra
pi control