bibliographer - Richard J. Lipton

bibliographer a curated TCS bibliography

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

On the Skolem Problem and the Skolem Conjecture Richard J. Lipton Florian Luca Joris Nieuwveld Joel Ouaknine David Purser James Worrell [github]

The Orbit Problem is Decidable Ravindran Kannan Richard J. Lipton [github]

A probabilistic remark on algebraic program testing Richard A. DeMillo Richard J. Lipton [github]

Nash Equilibria via Polynomial Equations Richard J. Lipton Evangelos Markakis [github]

Alternating pushdown automata Richard E. Ladner Richard J. Lipton Larry J. Stockmeyer [github]

Reduction: a method of proving properties of parallel programs Richard J. Lipton [github]

The Complexity of the ABC Problem Jin-yi Cai Richard J. Lipton Yechezkel Zalcstein [github]

Word Problems Solvable in Logspace Richard J. Lipton Yechezkel Zalcstein [github]

Social processes and proofs of theorems and programs Richard A. DeMillo Richard J. Lipton Alan J. Perlis [github]

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

[show logs] [hide logs]