Searching for "Controlling Conjunctive Partial Deduction." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Controlling Conjunctive Partial Deduction
- …Controlling Conjunctive Partial Deduction Robert Gluck 2 , Jesper J��rgensen 1 , Bern Martens…
- Cited by 3 (1 self) – Add To MetaCart
-
Controlling Conjunctive Partial Deduction of Definite Logic Programs
- …Controlling Conjunctive Partial Deduction of Definite Logic Programs Robert Gluck 1 , Jesper J…
- Cited by 30 (9 self) – Add To MetaCart
-
Advanced Techniques for Logic Program Specialisation
- … Partial Deduction in Practice 269 12.1 Controlling conjunctive partial deduction for pure Prolog . 269 12…
- Cited by 25 (13 self) – Add To MetaCart
-
Advanced Techniques for Logic Program Specialisation
- … Partial Deduction in Practice 269 12.1 Controlling conjunctive partial deduction for pure Prolog . 269 12…
- Add To MetaCart
Showing 1 through 4.
