Search
Now showing items 1-10 of 43
Complete propagation rules for lexicographic order constraints over arbitrary domains
Frühwirth, Thom (2006)
Beitrag zu einer Konferenz
Description Logic and Rules the CHR Way
Frühwirth, Thom; Djelloul, K.; Duck, G. J.; Sulzmann, M. (2007)
Beitrag zu einer Konferenz
Towards Term Rewriting Systems in Constraint Handling Rules
Raiser, Frank; Frühwirth, Thom; Schrijvers, Tom; Raiser, Frank; Frühwirth, Thom (2008)
Beitrag zu einer Konferenz
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
Frühwirth, Thom; Fages, F.; Rossi, F.; Soliman, S. (2008)
Beitrag zu einer Konferenz
Complexity of the CHR Rational Tree Equation Solver
Meister, Marc; Frühwirth, Thom; Schrijvers, Tom; Frühwirth, Thom (2006)
Beitrag zu einer Konferenz
Reconstructing almost-linear Tree Equation Solving Algorithms in CHR
Meister, Marc; Frühwirth, Thom; Fages, F.; Rossi, F.; Soliman, S. (2007)
Beitrag zu einer Konferenz
Implementation of an F-Logic Kernel in CHR
Käser, Martin; Meister, Marc; Schrijvers, Tom; Frühwirth, Thom (2006)
Beitrag zu einer Konferenz
Constraint Handling Rules: The Story So Far
Frühwirth, Thom; Maher, M. (2006)
Beitrag zu einer Konferenz
Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules
Schrijvers, Tom; Frühwirth, Thom (2006)
Konferenzband
Programming Pearl: Optimal Union-Find in Constraint Handling Rules
Schrijvers, T.; Frühwirth, Thom (2006)
Wissenschaftlicher Artikel