Substitution-based CHR Solver for Bivariate Binomial Equation Sets
Teil eines Buches
Fakultäten
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutionen
Institut für Softwaretechnik und ProgrammiersprachenErschienen in
CHR 2012: Ninth International Workshop on Constraint Handling Rules / Sneyers, Jon ; Frühwirth, Thom (Hrsg.). - Leuven : Heverlee, 2012. - (Report CW ; 624). - S. 41-50