Publication:2978510
From MaRDI portal
DOI10.4230/LIPIcs.FSTTCS.2014.161zbMath1360.68537MaRDI QIDQ2978510
Orna Kupferman, Denis Kuperberg, Shaull Almagor
Publication date: 25 April 2017
68Q45: Formal languages and automata
DOI10.4230/LIPIcs.FSTTCS.2014.161zbMath1360.68537MaRDI QIDQ2978510
Orna Kupferman, Denis Kuperberg, Shaull Almagor
Publication date: 25 April 2017
68Q45: Formal languages and automata