External Links

Cite Key

Statistics

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

PDF

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.

Constructive Negation Using Typed Existence Properties

John G. Cleary, Lunjin Lu. Constructive Negation Using Typed Existence Properties. 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 411-426, Springer, 1998. [doi]

Authors

John G. Cleary

This author has not been identified. Look up 'John G. Cleary' in Google

Lunjin Lu

This author has not been identified. Look up 'Lunjin Lu' in Google
runs on