Search
Now showing items 1-7 of 7
A linear-logic semantics for constraint handling rules
Betz, Hariolf; Frühwirth, Thom (2005)
Beitrag zu einer Konferenz
TLPL Special Issue on Constraint Handling Rules
Abdennadher, Slim; Frühwirth, Thom; Holzbaur, Christian (2005)
Wissenschaftlicher Artikel
Analysing the CHR Implementation of Union-Find
Schrijvers, Tom; Frühwirth, Thom; Wolf, A.; Frühwirth, Thom; Meister, M. (2005)
Beitrag zu einer Konferenz
Specialization of Concurrent Guarded Multi-Set Transformation Rules
Frühwirth, Thom; Etalle, S. (2005)
Beitrag zu einer Konferenz
Logical Rules for a Lexicographic Order Constraint Solver
Frühwirth, Thom; Schrijvers, Tom; Frühwirth, Thom (2005)
Beitrag zu einer Konferenz
Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules
Schrijvers, Tom; Frühwirth, Thom (2005)
Konferenzband
Parallelizing Union-Find in Constraint Handling Rules Using Confluence
Frühwirth, Thom; Gabbrielli, M.; Gupta G. (2005)
Beitrag zu einer Konferenz