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
11 Decidable classes of documents for XPath Bárány, Vince et al. 2012
12 Variants of Collapsible Pushdown Systems Parys, Pawel 2012
13 Collapse Operation Increases Expressive Power of Deterministic Higher Order Pushdown Automata Parys, Pawel 2011
Current Page :
Number of result pages: 1
Number of documents: 13

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