scientific article; zbMATH DE number 7362737
From MaRDI portal
Publication:4995374
zbMath1464.68164arXiv1408.5969MaRDI QIDQ4995374
Salvatore La Torre, I. De Crescenzo, Yaron Velner
Publication date: 24 June 2021
Full work available at URL: https://arxiv.org/abs/1408.5969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Games involving graphs (91A43) Applications of game theory (91A80) Formal languages and automata (68Q45) Temporal logic (03B44)
This page was built for publication:
