No. Title Author Year
1 Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time Parys, Pawel 2019
2 Homogeneity Without Loss of Generality Parys, Pawel 2018
3 Recursion Schemes and the WMSO+U Logic Parys, Pawel 2018
4 The Complexity of the Diagonal Problem for Recursion Schemes Parys, Pawel 2018
5 Models of Lambda-Calculus and the Weak MSO Logic Parys, Pawel et al. 2016
6 On a Fragment of AMSO and Tiling Systems Blumensath, Achim et al. 2016
7 Reasoning About Integrity Constraints for Tree-Structured Data Czerwinski, Wojciech et al. 2016
8 The MSO+U Theory of (N,<) Is Undecidable Bojanczyk, Mikolaj et al. 2016
9 Ordered Tree-Pushdown Systems Clemente, Lorenzo et al. 2015
10 A Pumping Lemma for Pushdown Graphs of Any Level Parys, Pawel 2012
Current Page :
Number of result pages: 2
Number of documents: 13


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI