Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Ina
Last name:	Kraan
DBLP:	28/2802
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 10  

Select a publication
Show	Title	Venue	Rating	Date
	Ina Kraan. Using the Rippling Heuristic in Set Membership Proofs.	ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings 1997	(0)	1997
	Ina Kraan, David A. Basin, Alan Bundy. Middle-Out Reasoning for Synthesis and Induction.	J. Autom. Reasoning 1996, Volume 16	(0)	1996
	Ina Kraan, Peter Baumann. Logical Frameworks as a Basis for Verification Tools: A Case Study.	KBSE 1995	(0)	1995
	Ina Kraan, Peter Baumann. Implementing Z in Isabelle.	ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings 1995	(0)	1995
	Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins. Mollusc: A General Proof-Development Shell for Sequent-Based Logics.	Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings 1994	(0)	1994
	Ina Kraan, David A. Basin, Alan Bundy. Middle-Out Reasoning for Logic Program Synthesis.	ICLP 1993	(0)	1993
	David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews. A Framework for Program Development Based on Schematic Proof.	Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993 1993	(0)	1993
	Bradley L. Richards, Ina Kraan, Benjamin Kuipers. Automatic Abduction of Qualitative Models.	AAAI 1992	(0)	1992
	Ina Kraan, David A. Basin, Alan Bundy. Logic Program Synthesis via Proof Planning.	LOPSTR 1992	(0)	1992
	Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh. Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof.	LOPSTR 1991	(0)	1991

Your query returned 10 matches in the database.