bibliographer - Rebecca A. Schuller

bibliographer a curated TCS bibliography

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

Fair Simulation Relations, Parity Games, and State Space Reduction for Buchi Automata Kousha Etessami Thomas Wilke Rebecca A. Schuller [github]

Fair Simulation Relations, Parity Games, and State Space Reduction for Buchi Automata Kousha Etessami Thomas Wilke Rebecca A. Schuller [github]

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

[show logs] [hide logs]