Andreas Mück

Publication Activity (10 Years)

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

Publications

Alfons Geser, Heinrich Hußmann, Andreas Mück
A Compiler for a Class of Conditional Term Rewriting Systems. CTRS (1987)