Nominal Algebra and the HSP Theorem.

Murdoch James Gabbay

Published in: J. Log. Comput. (2009)

Keyphrases

data model
query language
state space search
algebraic expressions
von neumann
algebraic structure
algebraic structures
relational algebra
real world
algebraic geometry
domain specific
database
boolean algebra
set theory
digital topology
algebraic operations
case study
information retrieval
data sets
real time