Conditional term rewriting systems : 1st international workshop proceedings, Orsay, France, July 8-10, 1987 / edited by S. Kaplan and J.-P. Jouannaud
Conditional term rewriting systems : 1st international workshop proceedings, Orsay, France, July 8-10, 1987 / edited by S. Kaplan and J.-P. Jouannaud - - Berlin Springer-Verlag, 1988 - vi,278 p. 24 cm - .
3-540-19242-50
Rewriting systems (Computer Science)-Congresses
681.3.06 Con:1:87