bibliographer - Christoph Dittmann

bibliographer a curated TCS bibliography

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

Parity Games, Separations, and the Modal mu-Calculus Christoph Dittmann [github]

Decomposition Theorems and Model-Checking for the Modal mu-Calculus Mikolaj Bojanczyk Christoph Dittmann Stephan Kreutzer [github]

Graph operations on parity games and polynomial-time algorithms Christoph Dittmann Stephan Kreutzer Alexandru I. Tomescu [github]

Decomposition theorems and model-checking for the modal mu-calculus Mikolaj Bojanczyk Christoph Dittmann Stephan Kreutzer [github]

Library Size: 13G (4 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]