Science: Math: Logic_and_Foundations: Game_Semantics:
 |
|
» Game Semantics or Linear Logic? - A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
|
 |
|
» Logic and Games - Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
|
Der Inhalt dieses Verzeichnisses basiert auf dem Open Directory und kann modifiziert sein.

Powered by DWodp live version 1.2.4
Copyright © 2003-2004 Dominion Web
|