Media type: Book; Commemorative Publication; Conference Proceedings Title: Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday Contributor: Comon-Lundh, Hubert [Editor]; Jouannaud, Jean-Pierre [Honoree]; Kirchner, Claude [Other]; Kirchner, Hélène [Other] Published: Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4600 Festschrift Extent: XVI, 272 S.; Ill., graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540731466; 9783540731467 Publisher, production or purchase order numbers: Sonstige Nummer: 12078622 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Reduktionssystem Reduktionssystem > Automatisches Beweisverfahren HOL Programmierung > Formale Methode Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 8667 Item ID: 31733690 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order