Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|
1 |
| |||||||
1 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
20 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
3 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
4 |
| |||||||
4 |
| |||||||
1996 | Middle-Out Reasoning for Synthesis and Induction In: Automated mathematical induction, 113-145 | Part of a Book | ||||||
1996 | Middle-out reasoning for synthesis and induction In: Journal of Automated Reasoning [16], 113-145 | Journal Article | ||||||
1993 | Logic Program Synthesis via Proof Planning In: International Workshop on Logic Program Synthesis and Transformation (LOPSTR '92), 1-14 | Proceedings Article | ||||||
1993 | Middle-Out Reasoning for Logic Program Synthesis In: Proc.~10th Intern. Conference on Logic Programing (ICLP '93), 441-455 | Proceedings Article | ||||||
1 |
| |||||||
14 |
| |||||||
1 |
| |||||||
1 |
| |||||||
2 |
| |||||||
2 |
| |||||||
2 |
|