scientific article

zbMath0675.03034MaRDI QIDQ3829548

Jan Krajíček

Publication date: 1989

Full work available at URL: https://eudml.org/doc/17708

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

speed-upFrege system

Mathematics Subject Classification ID

Classical propositional logic (03B05) Structure of proofs (03F07) Complexity of proofs (03F20)

Related Items (2)

ALOGTIME and a conjecture of S. A. Cook ⋮ Some remarks on lengths of propositional proofs

This page was built for publication: