Natural limitations of decision procedures for arithmetic with bounded quantifiers.

Daniele Mundici

Published in: Arch. Math. Log. (1983)

Keyphrases

decision procedures
theorem proving
modal logic
reasoning problems
automated reasoning
first order logic
conjunctive queries
tight complexity bounds
inference rules
query containment
databases
search space
data analysis
natural language
optimal solution
quantified boolean formulas
database