Expresiveness of the pi-Calculus and the $-Calculus.

Eugene Eberbach

Published in: FCS (2006)

Keyphrases

formal language
algebraic structure
machine learning
artificial intelligence
information systems
automated deduction
computer algebra
data mining
image processing
case study
multi agent systems
fuzzy logic