Publication:4636560
From MaRDI portal
DOI10.4230/LIPIcs.FSTTCS.2016.13zbMath1391.68068MaRDI QIDQ4636560
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
Publication date: 19 April 2018
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)