The Attributed Pi Calculus.

Mathias John Cédric Lhoussaine Joachim Niehren Adelinde M. Uhrmacher

Published in: CMSB (2008)

Keyphrases

computer algebra
bayesian networks
image processing
automated deduction
algebraic structure
timed automata
data sets
neural network
artificial intelligence
x ray
relational calculus
sequent calculus