A Model-Theoretic Proof for P unequal to NP over All Infinite Abelian Groups.
Mihai PrunescuPublished in: J. Symb. Log. (2002)
Keyphrases
- model theoretic
- proof theoretic
- decision procedures
- description logics
- proof procedure
- deductive databases
- presburger arithmetic
- operational semantics
- linear logic
- default reasoning
- theorem proving
- fixpoint
- logic programs
- proof theory
- nonmonotonic reasoning
- computational complexity
- probabilistic reasoning
- constraint logic programming
- theorem prover
- modal logic
- knowledge representation
- database systems
- first order logic
- quantifier elimination
- probabilistic model