00712cam a2200181 a 450000500170000000800410001702000150005803500150007305000210008811100670010924501620017626000370033830000110037544000490038665000530043570000210048870000210050920260818084751.0110414s1991    gw      r     100|0 eng d  a3540543171  a.b10164091 4aQA267bI578 19902 aInternational Workshop CTRSn(2nd :d1990 :cMontreal, Canada)10aConditional and typed rewriting systems :b2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings /cS. Kaplan and M. Okada (eds.)  aBerlin :bSpringer-Verlag,c1991  a461 p. 0aLecture notes in computer science ;vno. 516 0aRewriting systems (Computer science)vCongresses1 aKaplan, Stephane1 aOkada, Mitsuhiro