The following pages link to Amadeo Casas (Q3087443):
Displayed 4 items.
- Parallel backtracking with answer memoing for independent and-parallelism (Q3087444) (← links)
- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems (Q3434630) (← links)
- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs (Q5504598) (← links)
- A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism (Q5504687) (← links)