Publication:5277844
From MaRDI portal
DOI10.4230/LIPIcs.TLCA.2015.257zbMath1367.68140MaRDI QIDQ5277844
Jianqi Li, Jean-Pierre Jouannaud
Publication date: 12 July 2017
DOI10.4230/LIPIcs.TLCA.2015.257zbMath1367.68140MaRDI QIDQ5277844
Jianqi Li, Jean-Pierre Jouannaud
Publication date: 12 July 2017