Logics for Word Transductions with Synthesis

DOI10.1145/3209108.3209181zbMath1452.03080arXiv1701.03670OpenAlexW2798570354MaRDI QIDQ5145302

Emmanuel Filiot, Luc Dartois, Nathan Lhote

Publication date: 20 January 2021

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

Full work available at URL: https://arxiv.org/abs/1701.03670

zbMATH Keywords

originsynthesislogicdata wordstransductions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70)

Related Items

Unnamed Item, Synthesis of Data Word Transducers, Unnamed Item, Origin-equivalence of two-way word transducers is in PSPACE