scientific article; zbMATH DE number 6790166
From MaRDI portal
Publication:5367068
DOI10.23638/LMCS-13(3:29)2017zbMath1401.68128arXiv1604.05543MaRDI QIDQ5367068
Alexander Weinert, Martín G. Zimmermann
Publication date: 12 October 2017
Full work available at URL: https://arxiv.org/abs/1604.05543
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 (5)
Unnamed Item ⋮ Finite-state strategies in delay games ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Quantitative reductions and vertex-ranked infinite games
This page was built for publication: