Media type: Book; Conference Proceedings Title: Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19 - 21, 2005 ; proceedings Contains: Literaturangaben Contributor: Giesl, Jürgen [Editor] Event: RTA Published: Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3467 Extent: XIII, 515 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540255966 Publisher, production or purchase order numbers: Sonstige Nummer: 11416999 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Reduktionssystem Termersetzungssystem Reduktionssystem Termersetzungssystem Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: R2016 8 6800 Item ID: 31196645 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order