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.)