Searching for authors named Michael Leuschel – sorted by Relevance.
69 documents found, showing 1 through 10.
Next 10 →
-
Partial Deduction System
- …The ecce Partial Deduction System Michael Leuschel K.U. Leuven, Department of Computer Science…
- Cited by 5 (1 self) – Add To MetaCart
-
Program specialisation and abstract interpretation reconciled
- …Program Specialisation and Abstract Interpretation Reconciled Michael Leuschel 1 Department…
- Cited by 27 (13 self) – Add To MetaCart
-
Logic program specialisation
- …Advanced Logic Program Specialisation 1 Introduction Michael Leuschel Department of Electronics…
- Cited by 12 (10 self) – Add To MetaCart
-
Homeomorphic Embedding for Online Termination
- …Homeomorphic Embedding for Online Termination Michael Leuschel mal@(email omitted); Declarative…
- Cited by 46 (7 self) – Add To MetaCart
-
Partial Evaluation of the "Real Thing"
- …Partial Evaluation of the "Real Thing" Michael Leuschel K.U. Leuven, Department of Computer…
- Cited by 13 (3 self) – Add To MetaCart
-
Advanced Techniques for Logic Program Specialisation
- …Advanced Techniques for Logic Program Specialisation Michael Leuschel Department of Computer…
- Cited by 25 (13 self) – Add To MetaCart
-
Extending Homeomorphic Embedding in the Context of Logic Programming
- …Extending Homeomorphic Embedding in the Context of Logic Programming Michael Leuschel Report CW 252…
- Cited by 2 (1 self) – Add To MetaCart
-
Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints
- …Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints Michael Leuschel…
- Cited by 24 (14 self) – Add To MetaCart
-
Automatic refinement checking for B
- …Automatic Refinement Checking for B ⋆ Michael Leuschel 1,2 and Michael Butler 1 1 School…
- Cited by 8 (5 self) – Add To MetaCart
-
The proB animator and model checker for B - a tool description. http://www.ecs.soton.ac.uk/ ∼mal/systems/prob tooldescription.pdf
- …The ProB Animator and Model Checker for B A Tool Description Michael Leuschel and Michael Butler…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
