Benjamin Benninghofen

According to our database, Benjamin Benninghofen authored at least 2 papers between 1986 and 1987.

Collaborative distances:

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

1987

Systems of Reductions

Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter

Lecture Notes in Computer Science 277, Springer, ISBN: 3-540-18598-4, 1987

1986

TRSPEC: A Term Rewriting Based System for Algebraic Specifications.

Jürgen Avenhaus, Benjamin Benninghofen, Rüdiger Göbel, Klaus Madlener

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986