dblp.uni-trier.dewww.uni-trier.de

Ina Kraan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
6EEBradley 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)