Search
Now showing items 1-6 of 6
Constructing Rule-Based Solvers for Intentionally-Defined Constraints
Sobhi, Ingi; Abdennadher, Slim; Betz, Hariolf; Schrijvers, T.; Frühwirth, T. (2008)
Teil eines Buches
Welcome to Constraint Handling Rules
Frühwirth, Thom; Schrijvers, T.; Frühwirth, T. (2008)
Teil eines Buches
Constraints in Procedural and Concurrent Languages
Frühwirth, Thom; Michel, L.; Schulte, C.; Rossi, F.; Beek, P. van; Walsh, T. (2006)
Teil eines Buches
As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs
Frühwirth, Thom; Di Pierro, A.; Wiklicky, H. (2002)
Teil eines Buches
ECTS und Kreditakkumulation: Das Ulmer Modell
Gehring, Wolfgang (2003)
Teil eines Buches
Ultra: A Learn System for the Interactive Manipulation of Functional Programs
Partsch, Helmuth; Schulte, Wolfram; Vullinghs, Ton; Cengarle, V. (2000)
Teil eines Buches