Publication:2908872
From MaRDI portal
DOI10.4230/LIPIcs.FSTTCS.2010.412zbMath1245.68120MaRDI QIDQ2908872
Orna Kupferman, Udi Boker, Avital Steinitz
Publication date: 29 August 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_3e5d.html
68Q45: Formal languages and automata
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)