Capture-avoiding substitution as a nominal algebra.

Murdoch James Gabbay Aad Mathijssen

Published in: Formal Aspects Comput. (2008)

Keyphrases

data mining
computer vision
multi agent
data model
special case
relational algebra
relation algebra