Conditional term rewriting systems

Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings

Recent trends in data type specification

8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991

Combinatorial pattern matching

third annual symposium, Tucson, Arizona, USA, April 29-May 1, 1992

Compiler construction

4th International Conference CC'92, Paderborn, FRG, October 5-7, 1992

Theories and methods of spatio-temporal reasoning in geographic space