External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Game Semantics Foundation for Logic Programming (Extended Abstract)

Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet. A Game Semantics Foundation for Logic Programming (Extended Abstract). In Catuscia Palamidessi, Hugh Glaser, Karl Meinke, editors, Principles of Declarative Programming, 10th International Symposium, PLILP 98 Held Jointly with the 7th International Conference, ALP 98, Pisa, Italy, September 16-18, 1998, Proceedings. Volume 1490 of Lecture Notes in Computer Science, pages 355-373, Springer, 1998. [doi]

Authors

Roberto Di Cosmo

This author has not been identified. It may be one of the following persons: Look up 'Roberto Di Cosmo' in Google

Jean-Vincent Loddo

This author has not been identified. Look up 'Jean-Vincent Loddo' in Google

Stephane Nicolet

This author has not been identified. Look up 'Stephane Nicolet' in Google
runs on