Logic-Automata Connections for Transformations

DOI10.1007/978-3-662-45824-2_3zbMath1304.03075OpenAlexW1659651740MaRDI QIDQ2937387

Emmanuel Filiot

Publication date: 9 January 2015

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-45824-2_3

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05)

Related Items

Synthesizing Computable Functions from Rational Specifications Over Infinite Words, Aperiodic String Transducers, Unnamed Item, Unnamed Item, Unnamed Item, Aperiodic String Transducers