bibliographer - Michael Vanden Boom

bibliographer a curated TCS bibliography

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

On the Expressive Power of Cost Logics over Infinite Words Denis Kuperberg Michael Vanden Boom [github]

Weak Cost Monadic Logic over Infinite Trees Michael Vanden Boom [github]

Definability and Interpolation within Decidable Fixpoint Logics Michael Benedikt Pierre Bourhis Michael Vanden Boom [github]

Two-way Cost Automata and Cost Logics over Infinite Trees Achim Blumensath Thomas Colcombet Denis Kuperberg Paweł Parys Michael Vanden Boom [github]

Quasi-Weak Cost Automata: A New Variant of Weakness Denis Kuperberg Michael Vanden Boom [github]

Deciding the weak definability of Buchi definable tree languages Thomas Colcombet Denis Kuperberg Christof Løding Michael Vanden Boom [github]

Effective Interpolation and Preservation in Guarded Logics Michael Benedikt Balder Ten Cate Michael Vanden Boom [github]

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

[show logs] [hide logs]