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:
19961995
19941993Wrote 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.