Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
1996 | Middle-Out Reasoning for Synthesis and Induction In: Automated mathematical induction, 113-145 | Basin96x | |||||
1996 | Middle-out reasoning for synthesis and induction In: Journal of Automated Reasoning [16], 113-145 | KraanBasinBundy96 | |||||
1993 | Logic Program Synthesis via Proof Planning In: International Workshop on Logic Program Synthesis and Transformation (LOPSTR '92), 1-14 | KraanBasinBundy93a | |||||
1993 | Middle-Out Reasoning for Logic Program Synthesis In: Proc.~10th Intern. Conference on Logic Programing (ICLP '93), 441-455 | KraanBasinBundy93b | |||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
|