Using resolution for deciding solvable classes and building finite models
- 22 November 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Maslov's inverse method and decidable classesAnnals of Pure and Applied Logic, 1989
- On Different Concepts of ResolutionMathematical Logic Quarterly, 1989
- Implication Algorithms for Classes of Horn ClausesPublished by Springer Nature ,1988
- Complexity results for classes of quantificational formulasJournal of Computer and System Sciences, 1980
- Resolution Strategies as Decision ProceduresJournal of the ACM, 1976
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and AssociativityJournal of the ACM, 1974