Ina Kraan (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

9 Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Synthesis and Induction. J. Autom. Reasoning 16(1-2): 113-145 (1996)

5 Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Logic Program Synthesis. ICLP 1993: 441-455

4 David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews: A Framework for Program Development Based on Schematic Proof. IWSSD 1993: 162-171

2 Ina Kraan, David A. Basin, Alan Bundy: Logic Program Synthesis via Proof Planning. LOPSTR 1992: 1-14

Selection of 4 from 10 records - Ina Kraan has 9 coauthors

9		Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Synthesis and Induction. J. Autom. Reasoning 16(1-2): 113-145 (1996)
5		Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Logic Program Synthesis. ICLP 1993: 441-455
4		David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews: A Framework for Program Development Based on Schematic Proof. IWSSD 1993: 162-171
2		Ina Kraan, David A. Basin, Alan Bundy: Logic Program Synthesis via Proof Planning. LOPSTR 1992: 1-14