Reconstructing almost-linear Tree Equation Solving Algorithms in CHR
Beitrag zu einer Konferenz
Editor
Fages, F.Rossi, F.
Soliman, S.
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauPublished in
Proceedings of CSCLP 2007: Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming / Fages, François ; Rossi, Francesca ; Soliman, Sylvain (Hrsg.)2007. - S. 123-137
Conference
Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, 2007-06-07 - 2007-06-08, Rocquencourt