1 Game semantics - Wikipedia, the free encyclopedia
Game semantics (German: dialogische Logik) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a ...
http://en.wikipedia.org/wiki/Game_semantics
2 Game Semantics | Mathematical Institute - University of Oxford
Prerequisites. Students are expected to have strong mathematical ability and be familiar with basic discrete mathematics (sets, functions, relations, order relations, first-order ...
http://www.maths.ox.ac.uk/taxonomy/term/1261
3 Game Semantics or Linear Logic?
The page is about an alternative to linear logic called computability logic. It is semantics-based unlike the syntax-based linear logic. Computational problems/tasks/resources are ...
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
4 Open Site - Science: Mathematics: Logic: Game Semantics
Game semantics is an approach in logic that defines the basic semantical concepts of truth or validity in terms of games. [
http://open-site.org/Science/Mathematics/Logic/Game_Semantics
5 Notes on game semantics
Notes on game semantics Pierre-Louis Curien (CNRS-Universit´eParis 7) September 12,2006 Abstract The subject called game semantics grew out as a coherent body of work from two seminal ...
http://www.pps.jussieu.fr/~curien/Game-semantics.pdf
6 Game semantics | Nicolae Sfetcu
Game semantics (German: dialogische Logik) is an approach to the semantics of logic that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence ...
http://www.sfetcu.com/content/Game-semantics
7 Amazon.com: "game semantics": Key Phrase page
Key Phrase page for game semantics: Books containing the phrase game semantics
http://www.amazon.com/phrase/game-semantics
8 Computability logic - Wikipedia, the free encyclopedia
Game Semantics or Linear Logic? Lecture Course on Computability Logic See also. Logics; Logics for computability; Game semantics; Interactive computation
http://en.wikipedia.org/wiki/Computability_logic
9 Game Semantics : Oxford University Computing Laboratory
Information about the Game Semantics course at Oxford University Computing Laboratory
http://web.comlab.ox.ac.uk/teaching/courses/2008-2009/gamesemanti …
10 Game Semantics and its Applications : Oxford University Computing ...
About the Game Semantics and its Applications area of research at Oxford University Computing Laboratory
http://web.comlab.ox.ac.uk/activities/gamesemantics/
« Previous | Next »
© Copyright 2010, Lycos, Inc. Lycos is a registered trademark of Lycos, Inc. All Rights Reserved.
NOTE: You can't see most of our site's design details because your browser doesn't support basic Web standards. You should consider upgrading to a more recent browser release. If you choose to continue with the use of your current browser however, all of our content will continue to be accessible to all versions of every browser.