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
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