The relative efficiency of propositional proof systems

SA Cook, RA Reckhow - The journal of symbolic logic, 1979 - cambridge.org
We are interested in studying the length of the shortest proof of a propositional tautology in
various proof systems as a function of the length of the tautology. The smallest upper bound …
被引用次数：1260 相关文章
[PDF] toronto.edu

[PDF][PDF] THE RELATIVE EFFICIENCY OF PROPOSITIONAL PROOF SYSTEMS

SA COOK, RA RECKHOW - The Journal of Symbolic Logic, 1979 - cs.toronto.edu
? 1. Introduction. We are interested in studying the length of the shortest proof of a
propositional tautology in various proof systems as a function of the length of the tautology …

The relative efficiency of propositional proof systems

SA Cook, RA Reckhow - Journal of Symbolic Logic, 1979 - cir.nii.ac.jp
抄録< jats: p> We are interested in studying the length of the shortest proof of a propositional
tautology in various proof systems as a function of the length of the tautology. The smallest …
[PDF] cuni.cz

[PDF][PDF] THE RELATIVE EFFICIENCY OF PROPOSITIONAL PROOF SYSTEMS

SA COOK, RA RECKHOW - The Journal of Symbolic Logic, 1979 - karlin.mff.cuni.cz
? 1. Introduction. We are interested in studying the length of the shortest proof of a
propositional tautology in various proof systems as a function of the length of the tautology …
[PDF] archive.org

[PDF][PDF] THE RELATIVE EFFICIENCY OF PROPOSITIONAL PROOF SYSTEMS

SA COOK, RA RECKHOW - The Journal of Symbolic Logic, 1979 - scholar.archive.org
? 1. Introduction. We are interested in studying the length of the shortest proof of a
propositional tautology in various proof systems as a function of the length of the tautology …
[PDF] cuni.cz

[PDF][PDF] THE RELATIVE EFFICIENCY OF PROPOSITIONAL PROOF SYSTEMS

SA COOK, RA RECKHOW - The Journal of Symbolic Logic, 1979 - msekce.karlin.mff.cuni.cz
? 1. Introduction. We are interested in studying the length of the shortest proof of a
propositional tautology in various proof systems as a function of the length of the tautology …

[引用][C] The relative efficiency of propositional proof systems

SA Cook, RA Reckhow - Journal of Symbolic Logic, 1979 - philpapers.org
Stephen A. Cook & Robert A. Reckhow, The relative efficiency of propositional proof
systems - PhilPapers Sign in | Create an account PhilPapers PhilPeople PhilArchive …

THE RELATIVE EFFICIENCY OF PROPOSITIONAL PROOF SYSTEMS

SA COOK, RA RECKHOW - THE JOURNAL OF SYMBOLIC LOGIC, 1979 - cambridge.org
§ 1. Introduction. We are interested in studying the length of the shortest proof of a
propositional tautology in various proof systems as a function of the length of the tautology …
[PDF] utoronto.ca

[PDF][PDF] THE RELATIVE EFFICIENCY OF PROPOSITIONAL PROOF SYSTEMS

SA COOK, RA RECKHOW - The Journal of Symbolic Logic, 1979 - cs.utoronto.ca
? 1. Introduction. We are interested in studying the length of the shortest proof of a
propositional tautology in various proof systems as a function of the length of the tautology …

[引用][C] The Relative Efficiency of Propositional Proof Systems

SA Cook, RA Reckhow - J. Symbolic Logic, 1979 - dml.mathdoc.fr
The Relative Efficiency of Propositional Proof Systems logo dml Revues Livres Sources Tout
Tout Auteur Titre Bibliographie Inclure les e-prints dans la recherche (arXiv, HAL) Rechercher …