Publication:2958389
From MaRDI portal
DOI10.4230/LIPIcs.RTA.2013.271zbMath1356.68126MaRDI QIDQ2958389
Publication date: 1 February 2017
68Q42: Grammars and rewriting systems
DOI10.4230/LIPIcs.RTA.2013.271zbMath1356.68126MaRDI QIDQ2958389
Publication date: 1 February 2017
68Q42: Grammars and rewriting systems