scientific article; zbMATH DE number 7561621
From MaRDI portal
Publication:5092330
DOI10.4230/LIPIcs.ICALP.2019.128MaRDI QIDQ5092330
Didier Villevalois, Pierre-Alain Reynier
Publication date: 21 July 2022
Full work available at URL: https://arxiv.org/abs/1902.11263
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Une caractérisation des fonctions séquentielles et des fonctions sous- séquentielles en tant que rélations rationnelles
- From two-way transducers to regular function expressions
- A pattern logic for automata with outputs
- Determinization of transducers over finite and infinite words.
- Squaring transducers: An efficient procedure for deciding functionality and sequentiality.
- Economy of description for single-valued transducers
- Regular transducer expressions for regular transformations
- Sequential?
- Some definitional suggestions for automata theory
- On the Determinization of Weighted Finite Automata
- Expressiveness of Streaming String Transducers
- Nondeterministic Streaming String Transducers
- The Equivalence Problem for Deterministic Two-Way Sequential Transducers is Decidable
- MSO definable string transductions and two-way finite-state transducers
- Minimizing resources of sweeping and streaming string transducers
- Regular combinators for string transformations
- A Generalised Twinning Property for Minimisation of Cost Register Automata
- When is a functional tree transduction deterministic?
- Regular and First-Order List Functions
- Uniqueness Theorems for Periodic Functions
- Streaming transducers for algorithmic verification of single-pass list-processing programs
- A general theory of translation
- Quantitative Languages Defined by Functional Automata
This page was built for publication:
