bibliographer - Stephen A. Cook

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

The relative efficiency of propositional proof systems Stephen A. Cook Robert A. Reckhow [github]

An Exponential Lower Bound for the Size of Monotone Real Circuits Armin Haken Stephen A. Cook [github]

On the minimum computation time of functions Stephen A. Cook [github]

A Taxonomy of Problems with Fast Parallel Algorithms Stephen A. Cook [github]

The Complexity of Theorem-proving Procedures Stephen A. Cook [github]

Characterizations of Pushdown Machines in Terms of Time-Bounded Computers Stephen A. Cook [github]

Soundness and Completeness of an Axiom System for Program Verification Stephen A. Cook [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]