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

DROPS-Home | Imprint | Privacy Published by LZI