No. Title Author Year
1 Sequentiality of String-to-Context Transducers Reynier, Pierre-Alain et al. 2019
2 Synthesis of Data Word Transducers Exibard, Léo et al. 2019
3 Symbolic Approximation of Weighted Timed Games Busatto-Gaston, Damien et al. 2018
4 Streamability of Nested Word Transductions Filiot, Emmanuel et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Imprint | Privacy Published by LZI