Cover Image
Read Now

41
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Game semantics for programming languages -- Communication complexity -- Treewidth: Algorithmic...”
Cover Image
Read Now

42
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Invited Presentations -- Functorial Boxes in String Diagrams -- Some Results on a Game-Semantic...”
Cover Image
Read Now

43
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Debugging Answer-Set Programs with Ouroboros Extending the SeaLion Plugin -- Game Semantics for Non...”
Cover Image
Read Now

44
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Specifications Using an Extensible Software Model Checking Framework -- Applying Game Semantics to Compositional...”
Cover Image
Read Now

45
Published 2024
Springer Nature Switzerland
Table of Contents: “... Operations in Diagram Logic. -- Playing Games with Diagrams: Truth Diagrams and Game Semantics. --...”
Cover Image
Read Now

46
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... with Jumbo Instructions -- Advanced Techniques for Answer Set Programming -- A Games Semantics of ASP...”
Cover Image
Read Now

47
Published 2018
Springer International Publishing
Table of Contents: “... Conditions of a Connect Four Game -- Semantics Comprehension of Entities in Dictionary Corpora for Robot...”
Cover Image
Read Now

48
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Invited Talk -- Game Semantics: Achievements and Prospects -- Clique Is Hard to Approximate within...”
Cover Image
Read Now

49
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Responses in Video Games -- Semantic Representation of CAD Models Based on the IGES Standard -- Complexity...”
Cover Image
Read Now

50
Published 2012
Springer Netherlands
Table of Contents: “... of conclusion -- References -- Game Semantics and the Manifestation Thesis; Mathieu Marion -- 1. Rethinking...”