FO-Definable Transformations of Infinite Strings
From MaRDI portal
Publication:4636559
DOI10.4230/LIPIcs.FSTTCS.2016.12zbMath1391.68067arXiv1607.04910OpenAlexW2963841878MaRDI QIDQ4636559
Vrunda Dave, Ashutosh Trivedi, Shankara Narayanan Krishna
Publication date: 19 April 2018
Full work available at URL: https://arxiv.org/abs/1607.04910
Combinatorics on words (68R15) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)
Related Items (1)
This page was built for publication: FO-Definable Transformations of Infinite Strings