Program Development by Specification and Transformation

The PROSPECTRA Methodology, Language Family, and System

Resolution Methods for the Decision Problem

Parallel Architectures and Their Efficient Use

First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992

Word equations and related topics

Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceeding

Recognizing planar objects using invariant image features