Rewriting techniques and applications
: 5th international conference ; proceedings / RTA 93, Montreal, Canada, June 16 - 18, 1993. Claude Kirchner (ed.). - Berlin : Springer, 1993. - XI, 487 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 690)
ISBN 978-3-540-56868-1 / 3-540-56868-9 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Substitutions in dynamics, arithmetics and combinatorics
/ N. Pytheas Fogg .... - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in mathematics; 1794)
ISBN 978-3-540-45714-5
Lizenzpflichtig
Quelle: DNB
Symbolic rewriting techniques
/ Manuel Bronstein ..., ed.. - Basel : Birkhäuser, 1998. - 288 S. : graph. Darst.; 24 cm - (Progress in computer science and applied logic; Vol. 15)
ISBN 978-3-7643-5901-0 / 3-7643-5901-3 Pp. : sfr 128.00
Literaturangaben
Quelle: DNB
Term rewriting and applications
: 17th international conference ; proceedings / RTA 2006, Seattle, WA, USA, August 12 - 14, 2006. Frank Pfenning (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4098)
ISBN 978-3-540-36835-9
Lizenzpflichtig
Quelle: DNB
Term rewriting and applications
: 18th international conference ; proceedings / RTA 2007, Paris, France, June 26 - 28, 2007. Franz Baader (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4533)
ISBN 978-3-540-73449-9
Lizenzpflichtig
Quelle: DNB
Term rewriting and applications
: 18th international conference ; proceedings / RTA 2007, Paris, France, June 26 - 28, 2007. Franz Baader (ed.). - Berlin : Springer, 2007. - XII, 418 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4533)
ISBN 978-3-540-73447-5 / 3-540-73447-3 kart. : EUR 59.92 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
[Types for proofs and programs]
: [international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003] / [Stefano Berardi ... (ed.)]. - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [3085])
ISBN 978-3-540-24849-1
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop ; types '99, Lökeberg, Sweden, June 12 - 16, 1999 ; selected papers / Thierry Coquand ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1956)
ISBN 978-3-540-44557-9
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers / P. Callaghan ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2277)
ISBN 978-3-540-45842-5
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop ; types '98, Kloster Irsee, Germany, March 1998 ; selected papers / T. Altenkirch ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1657)
ISBN 978-3-540-48167-6
Lizenzpflichtig
Quelle: DNB
