Typed polyadic pi-calculus in bigraphs.

Mikkel Bundgaard Vladimiro Sassone

Published in: PPDP (2006)

Keyphrases

lambda calculus
higher order
database query languages
automated deduction
computer algebra
real world
algebraic structure
real time
formal language
fuzzy sets
natural deduction
real numbers
relational databases
decision making
genetic algorithm
neural network
databases
data sets