Search

Your search keyword '"Sneyers A"' showing total 12 results

Search Constraints

Start Over You searched for: Author "Sneyers A" Remove constraint Author: "Sneyers A" Publication Type eBooks Remove constraint Publication Type: eBooks
12 results on '"Sneyers A"'

Search Results

1. Probabilistic Termination of CHRiSM Programs

2. Optimizing Compilation and Computational Complexity of Constraint Handling Rules : Ph.D. Thesis Summary

3. Guard Reasoning in the Refined Operational Semantics of CHR

4. Turing-Complete Subclasses of CHR

5. Aggregates for CHR through Program Transformation

6. Memory Reuse for CHR

7. Probabilistic-Logical Modeling of Music

9. Guard and Continuation Optimization for Occurrence Representations of CHR

10. Aggregates in Constraint Handling Rules : (Extended Abstract)

11. Analysis and Optimization of CHR Programs

Catalog

Books, media, physical & digital resources