No. Title Author Year
1 Synthesis from Weighted Specifications with Partial Domains over Finite Words Filiot, Emmanuel et al. 2020
2 Uniformization Problems for Synchronizations of Automatic Relations on Words Winter, Sarah 2018
3 On Equivalence and Uniformisation Problems for Finite Transducers Filiot, Emmanuel et al. 2016
4 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: 4


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