Algebraic Theories for Name-Passing Calculi.

Joachim Parrow Davide Sangiorgi

Published in: REX School/Symposium (1993)

Keyphrases

qualitative spatial
theoretical framework
database
higher order
algebraic structure
algebraic curves
data sets
neural network
knowledge base
database systems
domain theory
general theory
qualitative spatial reasoning
qualitative spatial and temporal reasoning