scientific article; zbMATH DE number 7340142

zbMATH Open1459.68113arXiv1210.2454MaRDI QIDQ4986508FDOQ4986508

Authors: Aleksandar Dimovski 

Publication date: 27 April 2021

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

Title of this publication is not available (Why is that?)

Recommendations

• Symbolic computational techniques for solving games
• Algorithmic nominal game semantics
• Static Analysis
• scientific article; zbMATH DE number 1863183
• scientific article; zbMATH DE number 2110612
• A game-semantic model of computation
• Program verification using symbolic game semantics

Mathematics Subject Classification ID

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

Cited In (6)

• Title not available (Why is that?)
• An algebraic account of references in game semantics
• Regular-language semantics for a call-by-value programming language
• Program verification using symbolic game semantics
• Game Semantics in String Diagrams
• The regular-language semantics of second-order idealized ALGOL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4986508)