Login / Signup

Proving Refutational Completeness of Theorem-Proving Strategies: The Transfinite Semantic Tree Method.

Jieh HsiangMichaël Rusinowitch
Published in: J. ACM (1991)
Keyphrases
  • theorem proving
  • similarity measure
  • decision procedures
  • proof planning
  • probabilistic model
  • tree structure
  • first order logic
  • combinatorial optimization
  • automated reasoning
  • automatic programming
  • proof procedure