Rigid Families for CCS and the π-calculus.

Ioana Domnina Cristescu Jean Krivine Daniele Varacca

Published in: ICTAC (2015)

Keyphrases

computational properties
three dimensional
expert systems
machine learning
database
neural network
genetic algorithm
learning algorithm
data structure
multi agent systems
expressive power
rigid motion
sequent calculus