First-order definability of rational transductions

DOI10.1145/2933575.2934520zbMath1401.68216OpenAlexW2531193976MaRDI QIDQ4635895

Nathan Lhote, Emmanuel Filiot, Olivier Gauwin

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2933575.2934520

zbMATH Keywords

first-order logicalgebraic characterizationsdefinability problemsrational word transductions

Mathematics Subject Classification ID

Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70)

Related Items (4)

Aperiodic String Transducers ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: First-order definability of rational transductions