No. Title Author Year
1 Tree Automata with Global Constraints for Infinite Trees Landwehr, Patrick et al. 2019
2 On Equivalence and Uniformisation Problems for Finite Transducers Filiot, Emmanuel et al. 2016
3 Transformation Between Regular Expressions and omega-Automata Löding, Christof et al. 2016
4 Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers Löding, Christof et al. 2016
5 A Unified Approach to Boundedness Properties in MSO Kaiser, Lukasz et al. 2015
6 Decidability Results on the Existence of Lookahead Delegators for NFA Löding, Christof et al. 2013
7 Deciding the weak definability of Büchi definable tree languages Colcombet, Thomas et al. 2013
8 Degrees of Lookahead in Context-free Infinite Games Fridman, Wladimir et al. 2011
9 On Nondeterministic Unranked Tree Automata with Sibling Constraints Löding, Christof et al. 2009
10 Deterministic Automata on Unranked Trees Thomas, Wolfgang et al. 2005
Current Page :
Number of result pages: 1
Number of documents: 10

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