Rewriting techniques and applications
: 13th international conference ; proceedings / RTA 2002, Copenhagen, Denmark, July 22 - 24, 2002. S. Tison (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2378)
ISBN 978-3-540-45610-0
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
Rewriting techniques and applications
: 10th international conference ; proceedings / RTA-99, Trento, Italy, July 1999. P. Narendran ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1631)
ISBN 978-3-540-48685-5
Lizenzpflichtig
Quelle: DNB
Rewriting techniques and applications
: 19th international conference ; proceedings / RTA 2008, Hagenberg, Austria, July 15 - 17, 2008. Andrei Voronkov (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; Vol. 5117)
ISBN 978-3-540-70590-1
Lizenzpflichtig
Quelle: DNB
Rewriting techniques and applications
: 14th international conference ; proceedings / RTA 2003, Valencia, Spain, June 9 - 11, 2003. Robert Nieuwenhuis (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2706)
ISBN 978-3-540-44881-5
Lizenzpflichtig
Quelle: DNB
Rewriting techniques and applications
: 11th international conference ; proceedings / RTA 2000, Norwich, UK, July 10 - 12, 2000. Leo Bachmair (ed.). - Berlin : Springer, 2000. - X, 273 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1833)
ISBN 978-3-540-67778-9 / 3-540-67778-X kart. : DM 74.00
Literaturangaben
Quelle: DNB
Rewriting techniques and applications
: 10th international conference ; proceedings / RTA-99, Trento, Italy, July 2 - 4, 1999. Paliath Narendran ; Michael Rusinowitch (ed.). - Berlin : Springer, 1999. - XI, 396 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1631)
ISBN 978-3-540-66201-3 / 3-540-66201-4 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Rewriting techniques and applications
: 7th international conference ; proceedings / RTA-96, New Brunswick, NJ, USA, July 27 - 30, 1996. Harald Ganzinger (ed.). - Berlin : Springer, 1996. - XI, 435 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1103)
ISBN 978-3-540-61464-7 / 3-540-61464-8 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Rewriting techniques and applications
: 8th international conference ; proceedings / RTA-97, Sitges, Spain, June 2 - 5, 1997. Hubert Comon (ed.). - Berlin : Springer, 1997. - XI, 338 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1232)
ISBN 978-3-540-62950-4 / 3-540-62950-5 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Rewriting techniques and applications
: 6th international conference ; proceedings / RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Jieh Hsiang (ed.). - Berlin : Springer, 1995. - XII, 471 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 914)
ISBN 978-3-540-59200-6 / 3-540-59200-8 kart. : DM 94.00
Literaturangaben
Quelle: DNB
