Author of the publication

The Logical Strength of Büchi's Decidability Theorem.

, , , and . CSL, volume 62 of LIPIcs, page 36:1-36:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On the Weihrauch degree of the additive Ramsey theorem., , and . CoRR, (2023)Synthesizing Nested Relational Queries from Implicit Specifications., , and . PODS, page 33-45. ACM, (2023)Comparison-Free Polyregular Functions., , and . ICALP, volume 198 of LIPIcs, page 139:1-139:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Kleene Algebra with Hypotheses., , , and . FoSSaCS, volume 11425 of Lecture Notes in Computer Science, page 207-223. Springer, (2019)Integrating Linear and Dependent Types., , and . POPL, page 17-30. ACM, (2015)Two-way automata and transducers with planar behaviours are aperiodic., , and . CoRR, (2023)Cantor-Bernstein implies Excluded Middle., and . CoRR, (2019)A Curry-Howard Approach to Church's Synthesis., and . CoRR, (2018)A Curry-Howard Approach to Church's Synthesis., and . Log. Methods Comput. Sci., (2019)From Normal Functors to Logarithmic Space Queries., and . ICALP, volume 132 of LIPIcs, page 123:1-123:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)