Mikolaj Bojanczyk

Identifiers

• name variant Mikolaj Bojanczyk 0.60 · backfill

Papers (6)

1. Two monads for graphs cs.LO · 2018 · author #1
2. Regular and First Order List Functions cs.FL · 2018 · author #1
3. Star Height via Games cs.LO · 2017 · author #1
4. Decomposition Theorems and Model-Checking for the Modal $\mu$-Calculus math.LO · 2014 · author #1
5. Two-Way Unary Temporal Logic over Trees cs.LO · 2009 · author #1
6. Weak Mso with the Unbounding Quantifier cs.FL · 2009 · author #1

Mentions

• 1405.2234 #1 · backfill · confidence 0.70 Mikolaj Bojanczyk
• 0904.4119 #1 · backfill · confidence 0.70 Mikolaj Bojanczyk
• 0902.1042 #1 · backfill · confidence 0.70 Mikolaj Bojanczyk

Frequent Coauthors

• Christoph Dittmann 1 shared papers
• Krishna Shankara Narayanan 1 shared papers
• Laure Daviaud 1 shared papers
• Stephan Kreutzer 1 shared papers