`Travelled to:`

1 × France

1 × Hungary

`Collaborated with:`

A.Bundy D.A.Basin P.Baumann G.A.Wiggins B.L.Richards A.Smaill J.Hesketh

`Talks about:`

logic (5) synthesi (3) program (3) proof (3) framework (1) construct (1) transfom (1) sequent (1) mollusc (1) general (1)

## Person: Ina Kraan

### DBLP: Kraan:Ina

### Contributed to:

### Wrote 5 papers:

- KBSE-1995-KraanB #case study #framework #logic #tool support #verification
- Logical Frameworks as a Basis for Verification Tools: A Case Study (IK, PB), pp. 36–43.
- CADE-1994-RichardsKSW #logic #named
- Mollusc: A General Proof-Development Shell for Sequent-Based Logics (BLR, IK, AS, GAW), pp. 826–830.
- ICLP-1993-KraanBB #logic programming #reasoning #synthesis
- Middle-Out Reasoning for Logic Program Synthesis (IK, DAB, AB), pp. 441–455.
- LOPSTR-1992-KraanBB #logic programming #proving #synthesis #theorem proving
- Logic Program Synthesis via Proof Planning (IK, DAB, AB), pp. 1–14.
- LOPSTR-1991-WigginsBKH #induction #logic programming #proving #source code #synthesis
- Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof (GAW, AB, IK, JH), pp. 27–45.