scientific article; zbMATH DE number 7340142

zbMath1459.68113arXiv1210.2454MaRDI QIDQ4986508

Aleksandar S. Dimovski

Publication date: 27 April 2021

Full work available at URL: https://arxiv.org/abs/1210.2454

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Algorithmic game theory and complexity (91A68)

Related Items (2)

Unnamed Item ⋮ Program verification using symbolic game semantics

This page was built for publication: