Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free

Murdoch James Gabbay

Published in: CoRR (2011)

Keyphrases

information systems
query language
real numbers
knowledge management
logic programming
boolean algebra
linear temporal logic
database
neural network
metadata