A. Buch and Th. Hillenbrand. Waldmeister: development of a high performance completion-based theorem prover. SEKI-Report 96-01, Universitat Kaiserslautern, 1996. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
System Description: Interface between Theorema And External.. - Kutsia, Nakagawa (2001) (Correct)
On Using Ground Joinable Equations in Equational.. - Avenhaus.. (2000) (2 citations) (Correct)
Datastructures for Resolution - de Nivelle (Correct)
System Description: Waldmeister - Improvements in.. - Hillenbrand, Jaeger.. (1999) (2 citations) Self-citation (Hillenbrand) (Correct)
WALDMEISTER: High Performance Equational Deduction - Hillenbrand, Buch, Vogt.. (1997) (4 citations) Self-citation (Buch Hillenbrand) (Correct)
WALDMEISTER: High performance equational theorem proving - Buch, Hillenbrand, Fettig Self-citation (Buch Hillenbrand) (Correct)
On Gaining Efficiency in Completion-Based Theorem Proving - Hillenbrand, Buch, Fettig (1996) (7 citations) Self-citation (Buch Hillenbrand) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC