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

Murdoch James Gabbay

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

Keyphrases

boolean algebra
end users
real numbers
neural network
case study
set theory
data model
knowledge management
logic programs
decision support
logic programming
data types
abstract data types
algebraic structure
equational theories