Achim Blumensath

Identifiers

• name variant Achim Blumensath 0.60 · backfill

Papers (5)

1. Bisimulation Invariant Monadic-Second Order Logic in the Finite cs.LO · 2019 · author #1
2. Branch-Continuous Tree Algebras cs.FL · 2018 · author #1
3. A Compositional Coalgebraic Semantics of Strategic Games cs.GT · 2017 · author #1
4. On the Monadic Second-Order Transduction Hierarchy math.LO · 2010 · author #1
5. Guarded Second-Order Logic, Spanning Trees, and Network Flows cs.LO · 2009 · author #1

Mentions

• 1004.4777 #1 · backfill · confidence 0.70 Achim Blumensath
• 0910.3085 #1 · backfill · confidence 0.70 Achim Blumensath

Frequent Coauthors

• Bruno Courcelle 1 shared papers
• Felix Wolf 1 shared papers
• Viktor Winschel 1 shared papers