bibliographer - Dietmar Berwanger

bibliographer a curated TCS bibliography

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

Hierarchical information and the synthesis of distributed strategies Dietmar Berwanger Anup Basil Mathew Marie van den Bogaard [github]

Once upon a Time in the West Dietmar Berwanger Erich Gradel Stephan Kreutzer [github]

Solving Counter Parity Games Dietmar Berwanger Łukasz Kaiser Simon Leßenich [github]

Admissibility in Infinite Games Dietmar Berwanger [github]

Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games Dietmar Berwanger Erich Gradel Stephan Kreutzer [github]

Games and Model Checking for Guarded Logics Dietmar Berwanger Erich Grädel [github]

Entanglement textendash A Measure for the Complexity of Directed Graphs with Applications to Logic and Games Dietmar Berwanger Erich Grädel [github]

Admissibility in Infinite Games Dietmar Berwanger [github]

Fixed-Point Logics and Solitaire Games Dietmar Berwanger Erich Gradel [github]

Game Logic is Strong Enough for Parity Games Dietmar Berwanger [github]

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

[show logs] [hide logs]