Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys
Login to this database
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
 | 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 | | ||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
| | ||||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)