No. Title Author Year
1 Decision Problems for Origin-Close Top-Down Tree Transducers Winter, Sarah 2021
2 Synthesizing Computable Functions from Rational Specifications over Infinite Words Filiot, Emmanuel et al. 2021
3 Synthesis from Weighted Specifications with Partial Domains over Finite Words Filiot, Emmanuel et al. 2020
4 Uniformization Problems for Synchronizations of Automatic Relations on Words Winter, Sarah 2018
5 On Equivalence and Uniformisation Problems for Finite Transducers Filiot, Emmanuel et al. 2016
6 Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers Löding, Christof et al. 2016
Current Page :
Number of result pages: 1
Number of documents: 6


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