Substitution-based CHR Solver for Bivariate Binomial Equation Sets
Teil eines Buches
Autoren
Bolock, Alia El
Zaki, Amira
Frühwirth, Thom
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