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

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

Three-Valued Completion for Abductive Logic Programs.

Frank Teusink

Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

1993

A Proof Procedure for Extended Logic Programs.

Frank Teusink

Proceedings of the Logic Programming, 1993

A Characterization of Stable Models using a Non-Monotonic Operator.

Frank Teusink

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993