Roland Fettig

Publication Activity (10 Years)

Years Active: 1995-1996
Publications (10 Years): 0

Publications

Thomas Hillenbrand, Arnim Buch, Roland Fettig
On Gaining Efficiency in Completion-Based Theorem Proving. RTA (1996)
Roland Fettig, Bernd Löchner
Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type. RTA (1996)
Arnim Buch, Thomas Hillenbrand, Roland Fettig
WALDMEISTER: High Performance Equational Theorem Proving. DISCO (1996)
Klaus Schmid, Roland Fettig
Towards an Efficient Construction of Test Sets for Deciding Ground Reducability. RTA (1995)