Algebraic and logic programming
: 4th international conference ; proceedings / ALP '94, Madrid, Spain, September 14 - 16, 1994. Giorgio Levi ; Mario Rodríguez Artalejo (ed.). - Berlin : Springer, 1994. - VIII, 304 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 850)
ISBN 978-3-540-58431-5 / 3-540-58431-5 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Algebraic and logic programming
: 5th international conference ; proceedings / ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ; Mario Rodríguez Artalejo (ed.). - Berlin : Springer, 1996. - VIII, 344 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1139)
ISBN 978-3-540-61735-8 / 3-540-61735-3 kart. : DM 78.00
Literaturangaben
Quelle: DNB
Algebraic and logic programming
: 6th international joint conference ; proceedings / ALP '97 ; HOA '97, Southampton, UK, September 3 - 5, 1997. Michael Hanus ... (ed.). - Berlin : Springer, 1997. - X, 286 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1298)
ISBN 978-3-540-63459-1 / 3-540-63459-2 kart. : DM 66.00
Quelle: DNB
Emmelmann, Helmut: Codeselektion mit regulär gesteuerter Termersetzung
/ Helmut Emmelmann. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1994. - 228 S. : graph. Darst.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 241)
ISBN 978-3-486-23252-3 / 3-486-23252-5 kart. : DM 59.00, sfr 59.00, S 461.00
Quelle: DNB
Higher order algebra, logic, and term rewriting
: first international workshop ; selected papers / HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Jan Heering ... (ed.). - Berlin : Springer, 1994. - 344 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 816)
ISBN 978-3-540-58233-5 / 3-540-58233-9 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Higher order algebra, logic, and term rewriting
: second international workshop ; selected papers / HOA '95, Paderborn, Germany, September 21 - 22, 1995. Gilles Dowek ... (ed.). - Berlin : Springer, 1996. - 287 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1074)
ISBN 978-3-540-61254-4 / 3-540-61254-8 kart. : DM 62.00
Literaturangaben
Quelle: DNB
Static analysis
: third international workshop ; proceedings / WSA '93, Padova, Italy, September 22 - 24, 1993. Patrick Cousot ... (ed.). - Berlin : Springer, 1993. - IX, 283 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 724)
ISBN 978-3-540-57264-0 / 3-540-57264-3 kart. : DM 58.00
Literaturangaben
Quelle: DNB
Weisweber, Wilhelm: Termersetzung als Basis für eine einheitliche Architektur in der maschinellen Sprachübersetzung
: das experimentelle MÜ-System des Berliner Projekts der EUROTRA-D-Begleitforschung (KIT-FAST) / Wilhelm Weisweber. - Tübingen : Niemeyer, 1994. - XVIII, 262 S. : graph. Darst.; 24 cm - (Sprache und Information; Bd. 28)
ISBN 978-3-484-31928-8 / 3-484-31928-3 kart. : ca. DM 126.00
Quelle: DNB
Bündgen, Reinhard: Termersetzungssysteme
: Theorie, Implementierung, Anwendung / Reinhard Bündgen. - Braunschweig : Vieweg, 1998. - XIV, 228 S. : graph. Darst.; 24 cm - (Vieweg-Lehrbuch)
ISBN 978-3-528-05652-0 / 3-528-05652-5 kart. : DM 49.80
Literaturverz. S. 213 - 220
Quelle: DNB
Term rewriting
: advanced course / French Spring School of Theoretical Computer Science, Font Romeux, France, May 17 - 21, 1993 / Hubert Comon ; Jean-Pierre Jouannaud (ed.). - Berlin : Springer, 1995. - VIII, 221 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 909)
ISBN 978-3-540-59340-9 / 3-540-59340-3 : DM 54.00
Literaturangaben
Quelle: DNB
