scientific article; zbMATH DE number 7340142

MaRDI QIDQ4986508zbMATH OpenFDO

Authors Aleksandar Dimovski

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1210.2454, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2012.8

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)

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

Cited in

(6)

• scientific article; zbMATH DE number 7445154 (Why is no real title available?)
• 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)