Login / Signup

Inevitable Graphs: a Proof of the Type II Conjecture and some Related Decision Procedures.

Christopher J. Ash
Published in: Int. J. Algebra Comput. (1991)
Keyphrases
  • decision procedures
  • type ii
  • theorem proving
  • modal logic
  • automated reasoning
  • type i error
  • model theoretic
  • reasoning problems
  • presburger arithmetic
  • conjunctive queries
  • tight complexity bounds
  • theorem prover