No. Title Author Year
1 Recursion Schemes and the WMSO+U Logic Parys, Pawel 2018
2 The Complexity of the Diagonal Problem for Recursion Schemes Parys, Pawel 2018
3 Models of Lambda-Calculus and the Weak MSO Logic Parys, Pawel et al. 2016
4 On a Fragment of AMSO and Tiling Systems Blumensath, Achim et al. 2016
5 Reasoning About Integrity Constraints for Tree-Structured Data Czerwinski, Wojciech et al. 2016
6 The MSO+U Theory of (N,<) Is Undecidable Bojanczyk, Mikolaj et al. 2016
7 Ordered Tree-Pushdown Systems Clemente, Lorenzo et al. 2015
8 A Pumping Lemma for Pushdown Graphs of Any Level Parys, Pawel 2012
9 Decidable classes of documents for XPath Bárány, Vince et al. 2012
10 Variants of Collapsible Pushdown Systems Parys, Pawel 2012
Current Page :
Number of result pages: 2
Number of documents: 11


DROPS-Home | Fulltext Search | Imprint Published by LZI