scientific article
From MaRDI portal
Publication:2957484
DOI10.4230/LIPIcs.FSTTCS.2012.99zbMath1354.68071MaRDI QIDQ2957484
Vince Bárány, Diego Figueira, Paweł Parys, Mikołaj Bojańczyk
Publication date: 26 January 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Formal languages and automata (68Q45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)