Functional and logic programming
: 4th Fuji international symposium ; proceedings / FLOPS '99, Tsukuba, Japan, November 11 - 13, 1999. Aart Middeldorp ; Taisuke Sato (ed.). - Berlin : Springer, 1999. - X, 368 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1722)
ISBN 978-3-540-66677-6 / 3-540-66677-X kart. : DM 86.00
Literaturangaben
Quelle: DNB
Processes, terms and cycles: steps on the road to infinity
: essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp ... (ed.). - Berlin : Springer, 2005. - XVIII, 638 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3838 : Festschrift)
ISBN 978-3-540-30911-6 / 3-540-30911-X kart. : EUR 81.32 (freier Pr.), ca. sfr 128.50
Quelle: DNB Verlagsmeldungen
Processes, terms and cycles: steps on the road to infinity
: essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / Aart Middeldorp ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3838)
ISBN 978-3-540-32425-6
Lizenzpflichtig
Quelle: DNB
Rewriting techniques and applications
: 12th international conference ; proceedings / RTA 2001, Utrecht, The Netherlands, May 2001. A. Middeldorp (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2051)
ISBN 978-3-540-45127-3
Lizenzpflichtig
Quelle: DNB
