000 00628 a2200253 4500
001 43835
020 _a3-540-19242-50
041 _aeng
080 _a681.3.06 Con:1:87
245 _aConditional term rewriting systems : 1st international workshop proceedings, Orsay, France, July 8-10, 1987 / edited by S. Kaplan and J.-P. Jouannaud
250 _a
260 _aBerlin
260 _bSpringer-Verlag,
260 _c1988
300 _avi,278 p.
300 _c24 cm
490 _a
100 _a
700 _a
650 _a
650 _aRewriting systems (Computer Science)-Congresses
942 _cBK
942 _2UDC
999 _c43138
_d43138