Ina Kraan

Publication Activity (10 Years)

Years Active: 1991-1997
Publications (10 Years): 0

Publications

Ina Kraan
Using the Rippling Heuristic in Set Membership Proofs. ZUM (1997)
Ina Kraan, David A. Basin, Alan Bundy
Middle-Out Reasoning for Synthesis and Induction. J. Autom. Reason. 16 (1-2) (1996)
Ina Kraan, Peter Baumann
Logical Frameworks as a Basis for Verification Tools: A Case Study. KBSE (1995)
Ina Kraan, Peter Baumann
Implementing Z in Isabelle. ZUM (1995)
Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins
Mollusc: A General Proof-Development Shell for Sequent-Based Logics. CADE (1994)
David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews
A Framework for Program Development Based on Schematic Proof. IWSSD (1993)
Ina Kraan, David A. Basin, Alan Bundy
Middle-Out Reasoning for Logic Program Synthesis. ICLP (1993)
Bradley L. Richards, Ina Kraan, Benjamin Kuipers
Automatic Abduction of Qualitative Models. AAAI (1992)
Ina Kraan, David A. Basin, Alan Bundy
Logic Program Synthesis via Proof Planning. LOPSTR (1992)
Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. LOPSTR (1991)