Ina Kraan

	1997
10		Ina Kraan: Using the Rippling Heuristic in Set Membership Proofs. ZUM 1997: 135-147
	1996
9		Ina Kraan, David A. Basin, Alan Bundy: Middle-Out Reasoning for Synthesis and Induction. J. Autom. Reasoning 16(1-2): 113-145 (1996)
	1995
8		Ina Kraan, Peter Baumann: Logical Frameworks as a Basis for Verification Tools: A Case Study. KBSE 1995: 36-43
7		Ina Kraan, Peter Baumann: Implementing Z in Isabelle. ZUM 1995: 355-373
	1994
6		Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins: Mollusc: A General Proof-Development Shell for Sequent-Based Logics. CADE 1994: 826-830
	1993
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
	1992
3		Bradley L. Richards, Ina Kraan, Benjamin Kuipers: Automatic Abduction of Qualitative Models. AAAI 1992: 723-728
2		Ina Kraan, David A. Basin, Alan Bundy: Logic Program Synthesis via Proof Planning. LOPSTR 1992: 1-14
	1991
1		Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh: Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. LOPSTR 1991: 27-45

Coauthor Index

1	David A. Basin	[2] [4] [5] [9]
2	Peter Baumann	[7] [8]
3	Alan Bundy	[1] [2] [4] [5] [9]
4	Jane Hesketh	[1]
5	Benjamin Kuipers	[3]
6	Seán Matthews	[4]
7	Bradley L. Richards	[3] [6]
8	Alan Smaill	[6]
9	Geraint A. Wiggins	[1] [6]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page