scientific article; zbMATH DE number 6748880
From MaRDI portal
Publication:5278418
DOI10.4230/LIPIcs.CSL.2016.31zbMath1369.68247MaRDI QIDQ5278418
Alexander Weinert, Martín G. Zimmermann
Publication date: 19 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Games involving topology, set theory, or logic (91A44) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items