bibliographer - Paul E. Schupp

bibliographer a curated TCS bibliography

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

Alternating automata, the weak monadic theory of trees and its complexity David E. Muller Ahmed Saoudi Paul E. Schupp [github]

Alternating automata on infinite trees David E. Muller Paul E. Schupp [github]

The theory of ends, pushdown automata, and second-order logic David E. Muller Paul E. Schupp [github]

Alternating automata on infinite objects, determinacy and Rabintextquotesingles theorem David Muller Paul E. Schupp [github]

Groups, the Theory of ends, and context-free languages David E. Muller Paul E. Schupp [github]

Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra David E. Muller Paul E. Schupp [github]

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

[show logs] [hide logs]