Minimality and Completions of PA.

Julia F. Knight

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

Keyphrases

qualitative temporal reasoning
point algebra
database
query processing
constraint satisfaction problems
data mining
computational complexity
data model
image features
partial order