Games In The Semantics Of Programming Languages – An Elementary Introduction

ISSN： 0039-7857

Source： Synthese, Vol.133, Iss.1-2, 2002-10, pp. : 131-158

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Introduction: Proof-theoretic Semantics

By Kahle Reinhard

Synthese, Vol. 148, Iss. 3, 2006-02 ,pp. : 503-506

Springer Publishing Company

Access to resources Recommend Favorite

Linear temporal logic as an executable semantics for planning languages

By Mayer Marta Limongelli Carla Orlandini Andrea Poggioni Valentina

Journal of Logic, Language and Information, Vol. 16, Iss. 1, 2007-01 ,pp. : 63-89

Springer Publishing Company

Access to resources Recommend Favorite

Logic and Games: an Introduction

By Ågotnes Thomas

Studia Logica, Vol. 102, Iss. 2, 2014-04 ,pp. : 231-234

Springer Publishing Company

Access to resources Recommend Favorite

The Refined Extension Principle for Semantics of Dynamic Logic Programming

By Alferes José Banti Federico Brogi Antonio Leite João

Studia Logica, Vol. 79, Iss. 1, 2005-02 ,pp. : 7-32

Springer Publishing Company

Access to resources Recommend Favorite

Languages with Variable-Binding Operators: Categorial Syntax and Combinatorial Semantics

By Simons Peter

Poznan Studies in the Philosophy of the Sciences and the Humanities, Vol. 89, Iss. 1, 2006-08 ,pp. : 239-268

Rodopi

Access to resources Recommend Favorite