Sabine Nieke

Publication Activity (10 Years)

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

Publications

Peter Bachmann, Thomas Drescher, Sabine Nieke
SPECI90: A Term Rewriting and Narrowing System. STACS (1992)