-Calculus.

Published in: Trans. Petri Nets Other Model. Concurr. (2009)

Keyphrases

database
provably correct
genetic algorithm
computer vision
decision trees
natural language
digital libraries
sequent calculus