Switch to: Citations

References in:

Complexity of resolution proofs and function introduction

Matthias Baaz & Alexander Leitsch

Annals of Pure and Applied Logic 57 (3):181-215 (1992)

Add references

You must login to add references.

A Machine-Oriented Logic based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.details Download Export citation Bookmark 57 citations
(1 other version)On Different Concepts of Resolution.Alexander Leitsch - 1989 - Mathematical Logic Quarterly 35 (1):71-77.details Download Export citation Bookmark 2 citations
A Computing Procedure for Quantification Theory.Martin Davis & Hilary Putnam - 1966 - Journal of Symbolic Logic 31 (1):125-126.details Download Export citation Bookmark 23 citations
(1 other version)On Different Concepts of Resolution.Alexander Leitsch - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):71-77.details Download Export citation Bookmark 2 citations
Splitting and reduction heuristics in automatic theorem proving.W. W. Bledsoe - 1971 - Artificial Intelligence 2 (1):55-77.details Download Export citation Bookmark 10 citations

1