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
Rewriting techniques and applications
: 14th international conference ; proceedings / RTA 2003, Valencia, Spain, June 9 - 11, 2003. Robert Nieuwenhuis (ed.). - Berlin : Springer***5108985, 2003. - XI, 514 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2706)
ISBN 978-3-540-40254-1 / 3-540-40254-3 kart. : EUR 66.34
Literaturangaben
Quelle: DNB
Rewriting techniques and applications
: 4. international conference ; proceedings / RTA 91, Como, Italy, April 10 - 12, 1991. Ronald V. Book (ed.). - Berlin : Springer, 1991. - VII, 458 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 488)
ISBN 978-3-540-53904-9 / 3-540-53904-2 kart. : DM 66.00
Literaturangaben
Quelle: DNB
