bibliographer - Zvi Galil

bibliographer a curated TCS bibliography

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

On the complexity of regular resolution and the Davis-Putnam procedure Zvi Galil [github]

Hierarchies of Complete Problems Zvi Galil [github]

On Reversal-Bounded Counter Machines and on Pushdown Automata with a Bound on the Size of the Pushdown Store Pavol Duris Zvi Galil [github]

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

[show logs] [hide logs]