Search the dblp DataBase

Publications of Author

1. Frank Teusink
   Three-Valued Completion for Abductive Logic Programs. [Citation Graph (0, 0)][DBLP]
   ALP, 1994, pp:150-167 [Conf]
   
2. Sandro Etalle, Frank Teusink
   A Compositional Semantics for Normal Open Programs. [Citation Graph (0, 0)][DBLP]
   JICSLP, 1996, pp:468-482 [Conf]
   
3. Frank Teusink
   A Characterization of Stable Models using a Non-Monotonic Operator. [Citation Graph (0, 0)][DBLP]
   LPNMR, 1993, pp:206-222 [Conf]
   
4. Elena Marchiori, Frank Teusink
   Proving Termination of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP]
   ILPS, 1995, pp:447-461 [Conf]
   
5. Frank Teusink
   A Proof Procedure for Extended Logic Programs. [Citation Graph (0, 0)][DBLP]
   ILPS, 1993, pp:235-249 [Conf]
   
6. Elena Marchiori, Frank Teusink
   Termination of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1999, v:39, n:1-3, pp:95-124 [Journal]
   
7. Frank Teusink
   Three-Valued Completion for Abductive Logic Programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:165, n:1, pp:171-200 [Journal]