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.

Restart Tableaux with Selection Function

Christian Pape, Reiner Hähnle. Restart Tableaux with Selection Function. In Georg Gottlob, Alexander Leitsch, Daniele Mundici, editors, Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC 97, Vienna, Austria, August 25-29, 1997, Proceedings. Volume 1289 of Lecture Notes in Computer Science, pages 219-232, Springer, 1997.

Authors

Christian Pape

This author has not been identified. Look up 'Christian Pape' in Google

Reiner Hähnle

This author has not been identified. Look up 'Reiner Hähnle' in Google
runs on