Media type: Book; Conference Proceedings Title: Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11 - 14, 1990 ; proceedings Contributor: Kaplan, Stéphane [Hrsg.] Event: International CTRS Workshop imprint: Berlin; Heidelberg [u.a.]: Springer, 1991 Published in: Lecture notes in computer science ; 516 Extent: X, 461 S.; graph. Darst; 25 cm Language: English ISBN: 3540543171; 0387543171 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Bedingtes Termersetzungssystem Bedingtes Termersetzungssystem Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: 0892 80285 001 Item ID: 10015718 Status: Loanable, place order > Ordering possible ‒ please log in
Central Library – stack Shelf-mark: 0792 00113 001 Item ID: 10031591 Status: Loanable, place order > Ordering possible ‒ please log in