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.

System Description: Waldmeister - Improvements in Performance and Ease of Use

Thomas Hillenbrand, Andreas Jaeger, Bernd Löchner. System Description: Waldmeister - Improvements in Performance and Ease of Use. In Harald Ganzinger, editor, Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings. Volume 1632 of Lecture Notes in Computer Science, pages 232-236, Springer, 1999. [doi]

Authors

Thomas Hillenbrand

This author has not been identified. Look up 'Thomas Hillenbrand' in Google

Andreas Jaeger

This author has not been identified. Look up 'Andreas Jaeger' in Google

Bernd Löchner

This author has not been identified. Look up 'Bernd Löchner' in Google
runs on