Reconstructing almost-linear Tree Equation Solving Algorithms in CHR
Erstveröffentlichung
2007Editor
Fages, F.Rossi, F.
Soliman, S.
Beitrag zu einer Konferenz
Published 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
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauConference
Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, 2007-06-07 - 2007-06-08, Rocquencourt