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.

Negation as Inconsistency in PROLOG via Intuitionistic Logic

Alexey Gomolko. Negation as Inconsistency in PROLOG via Intuitionistic Logic. In Egon Börger, Yuri Gurevich, Karl Meinke, editors, Computer Science Logic, 7th Workshop, CSL 93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers. Volume 832 of Lecture Notes in Computer Science, pages 128-138, Springer, 1993.

Abstract

Abstract is missing.

runs on