00758cam a2200181 a 450000500170000000800410001703500150005805000210007311101050009424501210019926000370032030000110035744000490036865000530041765000580047065000270052870000210055520260818212710.0110413s1987 gw r 100|0 eng | a.b1057159000aQA267bI555 19872 aInternational Conference on Rewriting Techniques and Applicationsn(2nd :d1987 :cBordeaux, France)10aRewriting techniques and applications, Bordeaux, France, May 25-27, 1987 :bproceedings /cedited by Pierre Lescanne aBerlin :bSpringer-Verlag,c1987 a285 p. 0aLecture notes in computer science ;vno. 256 0aRewriting systems (Computer science)vCongresses 0aElectronic digital computersxProgrammingvCongresses 0aAlgorithmsvCongresses1 aLescanne, Pierre