Constraints in computational logics
: theory and applications / H. Comon ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2002)
ISBN 978-3-540-45406-9
Lizenzpflichtig
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
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
