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.

Resolution for Logic Programming with Universal Quantifiers

Antony F. Bowers, Patricia M. Hill, Francisco Ibañez. Resolution for Logic Programming with Universal Quantifiers. In Hugh Glaser, Pieter H. Hartel, Herbert Kuchen, editors, Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP 97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings. Volume 1292 of Lecture Notes in Computer Science, pages 63-77, Springer, 1997.

Authors

Antony F. Bowers

This author has not been identified. Look up 'Antony F. Bowers' in Google

Patricia M. Hill

This author has not been identified. Look up 'Patricia M. Hill' in Google

Francisco Ibañez

This author has not been identified. Look up 'Francisco Ibañez' in Google
runs on