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.

Proof Search (Tutorial)

Roy Dyckhoff, Natarajan Shankar. Proof Search (Tutorial). In Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, Mario Ornaghi, editors, ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994. 1994.

Authors

Roy Dyckhoff

This author has not been identified. Look up 'Roy Dyckhoff' in Google

Natarajan Shankar

This author has not been identified. Look up 'Natarajan Shankar' in Google
runs on