scientific article; zbMATH DE number 6261567
From MaRDI portal
Publication:5398091
DOI10.4230/LIPICS.ICLP.2012.476zbMath1281.68214MaRDI QIDQ5398091
Publication date: 25 February 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
This page was built for publication: