bibliographer - Jędrzej Kołodziejski

bibliographer a curated TCS bibliography

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

Computation and Size of Interpolants for Hybrid Modal Logics Jean Christoph Jung Jędrzej Kołodziejski Frank Wolter [github]

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic Jean Christoph Jung Jędrzej Kołodziejski [github]

Modal Separability of Fixpoint Formulae Jean Christoph Jung Jędrzej Kołodziejski [github]

Countdown mu-calculus Jędrzej Kołodziejski Bartek Klin [github]

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

[show logs] [hide logs]