Frank Teusink

According to our database, Frank Teusink authored at least 6 papers between 1993 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1999

Termination of Logic Programs with Delay Declarations.

Elena Marchiori, Frank Teusink

J. Log. Program., 1999

1996

Three-Valued Completion for Abductive Logic Programs.

Frank Teusink

Theor. Comput. Sci., 1996

A Compositional Semantics for Normal Open Programs.

Sandro Etalle, Frank Teusink

Proceedings of the Logic Programming, 1996

1995

Proving Termination of Logic Programs with Delay Declarations.

Elena Marchiori, Frank Teusink

Proceedings of the Logic Programming, 1995

1994

A characterization of stable models using a non-monotonic operator.

Frank Teusink

Methods Log. Comput. Sci., 1994

1993

A Proof Procedure for Extended Logic Programs.

Frank Teusink

Proceedings of the Logic Programming, 1993