Benjamin Benninghofen

Publication Activity (10 Years)

Years Active: 1986-1986
Publications (10 Years): 0

Publications

Jürgen Avenhaus, Benjamin Benninghofen, Rüdiger Göbel, Klaus Madlener
TRSPEC: A Term Rewriting Based System for Algebraic Specifications. CADE (1986)