Search
Now showing items 1-10 of 19
Welcome to Constraint Handling Rules
Frühwirth, Thom; Schrijvers, Tom; Frühwirth, Thom (2008)
Teil eines Buches
Theorem Proving in Large Theories
Reif, Wolfgang; Schellhorn, Gerhard; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches
ECTS und Kreditakkumulation: Das Ulmer Modell
Gehring, Wolfgang (2003)
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
Constraints in Procedural and Concurrent Languages
Frühwirth, Thom; Michel, L.; Schulte, C.; Rossi, F.; Beek, P. van; Walsh, T. (2006)
Teil eines Buches
Integrating Automated and Interactive Theorem Proving
Ahrendt, W. et al.; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches
A Programmer Friendly Modular Definition of the Semantics of Java.
Börger, Egon; Schulte, Wolfram; Alves-Foss, J. (1999)
Teil eines Buches
Formal Methods and Tools: Introduction and Overview
Berghammer, R.; Lakhnech, Y.; Reif, Wolfgang; Berghammer, R.; Lakhnech, Y. (1999)
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
Structured specifications and interactive proofs with KIV
Reif, Wolfgang et al.; Bibel, W.; Schmitt, P. (1998)
Teil eines Buches