×

zbMATH — the first resource for mathematics

Space complexity in propositional calculus. (English) Zbl 1004.03047

MSC:
03F20 Complexity of proofs
03B35 Mechanization of proofs and logical operations
03B05 Classical propositional logic
03D15 Complexity of computation (including implicit computational complexity)
PDF BibTeX Cite
Full Text: DOI