The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Frank Teusink: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002