Some new results on decidability for elementary algebra and geometry.

Robert Solovay R. D. Arthan John Harrison

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

set theory
description logics
boolean algebra
data model
case study
three dimensional
video sequences
school children
query language
query answering
geometric structure
algebraic expressions
information retrieval
decision procedures
relational algebra
structure from motion
multi view
expert systems
multiscale