Ina Kraan

According to our database, Ina Kraan authored at least 10 papers between 1991 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Using the Rippling Heuristic in Set Membership Proofs.

Ina Kraan

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

1996

Middle-Out Reasoning for Synthesis and Induction.

Ina Kraan, David A. Basin, Alan Bundy

J. Autom. Reason., 1996

1995

Implementing Z in Isabelle.

Ina Kraan, Peter Baumann

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Logical Frameworks as a Basis for Verification Tools: A Case Study.

Ina Kraan, Peter Baumann

Proceedings of the Proceedings KBSE'95, 1995

1994

Mollusc: A General Proof-Development Shell for Sequent-Based Logics.

Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

A Framework for Program Development Based on Schematic Proof.

David A. Basin, Alan Bundy, Ina Kraan, Seán Matthews

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Middle-Out Reasoning for Logic Program Synthesis.

Ina Kraan, David A. Basin, Alan Bundy

Proceedings of the Logic Programming, 1993

1992

Logic Program Synthesis via Proof Planning.

Ina Kraan, David A. Basin, Alan Bundy

Proceedings of the Logic Program Synthesis and Transformation, 1992

Automatic Abduction of Qualitative Models.

Bradley L. Richards, Ina Kraan, Benjamin Kuipers

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof.

Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh

Proceedings of the Logic Program Synthesis and Transformation, 1991