Game semantics - PDFSEARCH.IO - Document Search Engine

Game semantics
Results: 71

#	Item
21	Algorithmic nominal game semantics A. S. Murawski⋆ and N. Tzevelekos⋆⋆ 1 Department of Computer Science, University of Leicester University Road, Leicester LE1 7RH, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-01-18 19:24:34
22	PDF Document Add to Reading List Source URL: lama.univ-savoie.fr Language: English - Date: 2014-04-10 03:07:04 Logic in computer science Game theory Models of computation Formal methods Denotational semantics Game semantics Semantics Strategy Equivalence of categories Sheaf
23	A game semantics for proof search: Preliminary results 1 Dale Miller and Alexis Saurin 2 ´ INRIA-Futurs and Ecole Polytechnique Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2005-05-01 17:35:03
24	MFPSA System-Level Game Semantics Dan R. Ghica University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-07-18 08:08:46 Applied mathematics Models of computation Algebraic geometry Field theory Valuation Combinatory logic Denotational semantics Theoretical computer science Logic in computer science Mathematics
25	1 Vol 16 Issue 2 – 3 Wanderer Beyond Game Worlds truna aka j.turner Brisbane International Game Developers Add to Reading List Source URL: www.leoalmanac.org Language: English - Date: 2014-02-11 08:11:54 Australian Aboriginal culture Australian Aboriginal mythology Landscape Indexicality Semantics Songlines Virtual reality Cultural landscape Possible world Cultural studies Logic Science
26	Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-02-19 08:49:32 Computer science Applied mathematics Concurrency Denotational semantics Concurrent computing Actor model Game semantics Determinacy Petri net Theoretical computer science Logic in computer science Models of computation
27	1 Distributed Games and Strategies Glynn Winskel, Computer Laboratory, University of Cambridge Abstract—A summary of work on distributed games and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-02-19 08:49:45 Applied mathematics Determinacy Minimax Nash equilibrium Normal-form game Strategy Independence Denotational semantics Nim Game theory Mathematics Problem solving
28	An Integrated Modal Approach to Rational Agents W. van der Hoek B. van Lindery J.-J. Ch. Meyer Utrecht University { Department of Computer Science P.O. Box { 3508 TB Utrecht { The Netherlands Abstract Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:34 Artificial intelligence Science Philosophical logic Multi-agent systems Game theory Action theory Kripke semantics Dynamic logic Intelligent agent Logic Mathematical logic Modal logic
29	Innocent Game Models of Untyped Lambda Calculus Andrew D. Ker University College, Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-07-16 07:23:10 Mathematics Denotational semantics Lambda calculus Typed lambda calculus Game semantics Semantics of programming languages Combinatory logic Semantics Functional programming Theoretical computer science Logic in computer science Applied mathematics
30	Some Recommended Philosophy Readings for future students of Computer Science and Philosophy General Philosophy (all Philosophy students) The first year “General Philosophy” course covers topics particularly associate Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-05-30 12:12:01 Mathematical logic Analytic philosophers Theoretical computer science Epistemologists Peter Millican Logic Alan Turing Jack Copeland Game semantics Science Philosophy Knowledge

UPDATE