The Next Waldmeister Loop
Authors:
- 4 July 2002
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 486-500
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Algorithms, Datastructures, and other Issues in Efficient Automated DeductionLecture Notes in Computer Science, 2001
- Rewriting2001
- DISCOUNT: A system for distributed equational deduction1995
- Term Indexing1995
- OTTER 3.0 reference manual and guide1994