Roland Fettig

According to our database, Roland Fettig authored at least 4 papers between 1995 and 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1996

On Gaining Efficiency in Completion-Based Theorem Proving.

Thomas Hillenbrand, Arnim Buch, Roland Fettig

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type.

Roland Fettig, Bernd Löchner

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

WALDMEISTER: High Performance Equational Theorem Proving.

Arnim Buch, Thomas Hillenbrand, Roland Fettig

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

Towards an Efficient Construction of Test Sets for Deciding Ground Reducability.

Klaus Schmid, Roland Fettig

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995