Unity in nominal equational reasoning: The algebra of equality on nominal sets.

Murdoch James Gabbay

Published in: J. Appl. Log. (2012)

Keyphrases

social networks
real time
real world
relational algebra