bibliographer - Florian Bruse

bibliographer a curated TCS bibliography

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

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes Florian Bruse Martin Lange [github]

Higher-Order Timed Automata and Tail Recursion Florian Bruse [github]

Local Higher-Order Fixpoint Iteration Florian Bruse Jørg Kreiker Martin Lange Marco Salzer [github]

Alternation Is Strict For Higher-Order Modal Fixpoint Logic Florian Bruse [github]

On the Relationship Between Higher-order Recursion Schemes and Higher-order Fixpoint Logic Naoki Kobayashi Étienne Lozes Florian Bruse [github]

Alternating Parity Krivine Automata Florian Bruse [github]

The Fixpoint-Iteration Algorithm for Parity Games Florian Bruse Michael Falk Martin Lange [github]

On Guarded Transformation In The Modal Mu-Calculus Florian Bruse Oliver Friedmann Martin Lange [github]

Space-Efficient Fragments of Higher-Order Fixpoint Logic Florian Bruse Martin Lange Etienne Lozes [github]

On the relationship between higher-order recursion schemes and higher-order fixpoint logic Naoki Kobayashi Étienne Lozes Florian Bruse [github]

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic Florian Bruse Martin Lange Etienne Lozes [github]

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

[show logs] [hide logs]