LEADER 00000nam 2200241 a 4500
001 0969279
003 UkHlHU
007 t
008 000809 2 1991 000 eng
020 3540543171
040 UkHlHU
050 4 QA 264 C7
100 0 Kaplan, Stephane.
245 00 Conditional and typed rewriting systems :|b2nd
International CTRS Workshop Montreal, Canada, June 11-14,
1990 : proceedings /|cedited by S. Kaplan and m.
Mitsukiro.
260 Berlin :|bSpringer-Verlag,|c1991.
300 461p.
440 0 Lecture notes in computer science; 516
700 0 Okada, Mitsukiro.
710 2 International Workshop on Conditional and Typed Rewriting
Systems (2nd: 1990: Montreal, Canada)
946 6XX absent
