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


DROPS-Home | Fulltext Search | Imprint Published by LZI