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.

WALDMEISTER - High-Performance Equational Deduction

Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner. WALDMEISTER - High-Performance Equational Deduction. Journal of Automated Reasoning, 18(2):265-270, 1997.

Authors

Thomas Hillenbrand

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

Arnim Buch

This author has not been identified. Look up 'Arnim Buch' in Google

Roland Vogt

This author has not been identified. Look up 'Roland Vogt' in Google

Bernd Löchner

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