Search alternatives:
"game semantics" » "gale semantics", "game semantic"
Cover Image
Read Now

21
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Transformations and Structural Invariance -- Rényi-Ulam Game Semantics for Product Logic and for the Logic...”
Cover Image
Read Now

22
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Theory of Secure Control Flow -- Game Semantics Model for Security Protocols -- Communication -- Towards...”
Cover Image
Read Now

23
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... in Reconfigurable Broadcast Networks -- Unsafe Order-2 Tree Languages Are Context-Sensitive -- Game Semantics...”
Cover Image
Read Now

24
Published 2018
Springer International Publishing
Table of Contents: “...Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric...”
Cover Image
Read Now

25
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- On the Descriptive Complexity of Linear Algebra -- Talks on Quantum Computing -- On Game Semantics of the Affine...”
Cover Image
Read Now

26
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Automata over Linear Arithmetic Constraints -- Game Semantics for Higher-Order Concurrency...”
Cover Image
Read Now

27
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...-Completeness of Tree Resolution Space -- Game Semantics -- Continuous Previsions -- Bad Variables Under Control...”
Cover Image
Read Now

28
Published 2016
Springer Berlin Heidelberg
Table of Contents: “... Dependent Type Theory with Coinductive Types -- Dependent Types and Fibred Computational Effects -- Game...”
Cover Image
Read Now

29
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Program analysis in ?prolog -- A game semantics foundation for logic programming -- Controlling search...”
Cover Image
Read Now

30
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract) -- Quantitative Game Semantics...”
Cover Image
Read Now

31
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Program Executions -- Semantics -- Least and Greatest Fixpoints in Game Semantics -- Full Abstraction...”
Cover Image
Read Now

32
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Game Semantics for the Pure Lazy ?-Calculus -- Reductions, intersection types, and explicit...”
Cover Image
Read Now

33
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Automata and the Star Height One Problem -- Adhesive Categories -- A Game Semantics of Local Names and Good...”
Cover Image
Read Now

34
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Software Verification Based on Game Semantics --...”
Cover Image
Read Now

35
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Compositional Predicate Abstraction from Game Semantics -- Compositional Synthesis of Reactive Systems from Live...”
Cover Image
Read Now

36
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach -- Program Verification...”
Cover Image
Read Now

37
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Deriving Probabilistic Semantics Via the ‘Weakest Completion’ -- CSP Representation of Game...”
Cover Image
Read Now

38
Published 2010
Springer Berlin Heidelberg
Table of Contents: “.... Semantics -- Game Semantics for Call-by-Value Polymorphism --...”
Cover Image
Read Now

39
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... and Concurrency -- Model Checking for ?-Calculus Using Proof Search -- A Game Semantics of the Asynchronous...”
Cover Image
Read Now

40
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Game Semantics -- Modeling Software: From Theory to Practice -- Contributed Papers -- Local Normal...”