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.
Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner. WALDMEISTER - High-Performance Equational Deduction. Journal of Automated Reasoning, 18(2):265-270, 1997.
Possibly Related PublicationsThe following publications are possibly variants of this publication: WALDMEISTER: High Performance Equational Theorem ProvingArnim Buch, Thomas Hillenbrand, Roland Fettig. disco 1996: 63-64 System Description: Waldmeister - Improvements in Performance and Ease of UseThomas Hillenbrand, Andreas Jaeger, Bernd Löchner. cade 1999: 232-236 [doi] A phytography of WALDMEISTERBernd Löchner, Thomas Hillenbrand. aicom, 15(2-3):127-133, 2002. [doi]
The following publications are possibly variants of this publication: