`Travelled to:`

1 × Canada

1 × Germany

1 × Spain

1 × USA

`Collaborated with:`

∅ S.Etalle E.Marchiori

`Talks about:`

program (4) logic (3) procedur (1) composit (1) complet (1) termin (1) semant (1) normal (1) extend (1) declar (1)

## Person: Frank Teusink

### DBLP: Teusink:Frank

### Contributed to:

### Wrote 4 papers:

- JICSLP-1996-EtalleT #composition #semantics #source code
- A Compositional Semantics for Normal Open Programs (SE, FT), pp. 468–482.
- ILPS-1995-MarchioriT #logic programming #proving #source code #termination
- Proving Termination of Logic Programs with Delay Declarations (EM, FT), pp. 447–461.
- ALP-1994-Teusink #abduction #logic programming #source code
- Three-Valued Completion for Abductive Logic Programs (FT), pp. 150–167.
- ILPS-1993-Teusink #logic programming #proving #source code
- A Proof Procedure for Extended Logic Programs (FT), pp. 235–249.