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


DROPS-Home | Fulltext Search | Imprint Published by LZI