Media type: Book; Conference Proceedings Title: Rewriting techniques and applications : 9th international conference ; proceedings Contains: Literaturangaben Contributor: Nipkow, Tobias [Hrsg.] Event: RTA imprint: Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1379 Extent: X, 342 S.; graph. Darst Language: English ISBN: 354064301X RVK notation: SS 4800 : Lecture notes in computer science Keywords: Reduktionssystem Reduktionssystem Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: R2016 8 4386 Item ID: 30440381 Status: Loanable, place order > Ordering possible ‒ please log in