论文信息 - Generalized CHR Machines - 字舞流文

Generalized CHR Machines

Jon Sneyers | Thom Fruehwirth

[1] Maurizio Gabbrielli,et al. Expressiveness of Multiple Heads in CHR , 2008, SOFSEM.

[2] Juris Hartmanis,et al. Computational complexity of random access stored program machines , 1970, Mathematical systems theory.

[3] Thom W. Frühwirth,et al. Source-to-Source Transformation for a Class of Expressive Rules , 2003, APPIA-GULP-PRODE.

[4] Bart Demoen,et al. The computational power and complexity of constraint handling rules , 2009, TOPL.

[5] Thom W. Frühwirth,et al. Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[6] Thom W. Frühwirth,et al. Probabilistic Constraint Handling Rules , 2002, Electron. Notes Theor. Comput. Sci..

[7] Thom W. Frühwirth,et al. Constraint Handling Rules , 2009, Constraint Programming.