Sign in
Decidable Theories of the Ordering of Natural Numbers with Unary Predicates.
Alexander Moshe Rabinovich
Wolfgang Thomas
Published in:
CSL (2006)
Keyphrases
</>
database
datalog programs
real world
pairwise
data sets
user defined
natural language
theoretical framework
partial order
computational models
transitive closure
man made
multi valued