Login / Signup
The Finite Representable Relation Algebras are not Recursive (Abstract).
Robin Hirsch
Published in:
RelMiCS (1997)
Keyphrases
</>
relation algebra
finite number
spatial reasoning
low level
high level
higher level
finite automata
recursive algorithm
recursive functions
multiscale
expressive power
databases
decision making
equivalence relation
datalog programs
equational theories
genetic algorithm