@InProceedings{   paper49,
  Author        = "Abramsky, S. and McCusker, G.",
  Editor        = "Schwichtenberg, H. and Berger, U.",
  BookTitle     = "Computational Logic: Proceedings of the 1997 Marktoberdorf Summer School",
  date-added    = "2013-01-30 09:40:21 +0000",
  date-modified = "2013-01-30 09:40:21 +0000",
  Pages         = "1-56",
  Publisher     = "Springer-Verlag",
  Title         = "Game Semantics",
  Year          = "1999",
  File          = "Game Semantics - Abramsky, McCusker (0) (0) - a - a - s.pdf",
  file-2        = "Game Semantics - Abramsky, McCusker (1) (0) - a - a - s.pdf",
  file-3        = "Game Semantics - Abramsky, McCusker (0) (0) - a - a - s.ps"
}

@InProceedings{ paper49, Author = "Abramsky, S. and McCusker, G.", Editor = "Schwichtenberg, H. and Berger, U.", BookTitle = "Computational Logic: Proceedings of the 1997 Marktoberdorf Summer School", date-added = "2013-01-30 09:40:21 +0000", date-modified = "2013-01-30 09:40:21 +0000", Pages = "1-56", Publisher = "Springer-Verlag", Title = "Game Semantics", Year = "1999", File = "Game Semantics - Abramsky, McCusker (0) (0) - a - a - s.pdf", file-2 = "Game Semantics - Abramsky, McCusker (1) (0) - a - a - s.pdf", file-3 = "Game Semantics - Abramsky, McCusker (0) (0) - a - a - s.ps" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge