BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Teusink:Frank

Contributed to:

JICSLP 19961996
ILPS 19951995
ALP 19941994
ILPS 19931993

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.