Jan C. Verheul

Publication Activity (10 Years)

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

Publications

Jan C. Verheul, Peter G. Kluit
The Transformation of Term Rewriting Sysstems Based on Well-formedness Preserving Mappings. CTRS (1994)