Pergamos - Library and Information Center of National and Kapodistrian University of Athens

Original Title:

Reasoning about termination of tabled logic programs

Languages of Item:

English

Creator:

Sagonas, Konstantinos

Abstract:

Empty abstract

Main subject category:

Logic

Other subject categories:

Computer science

Keywords:

tabled logic programs, SLG-resolution, definite programs, quasi-termination, quasi-acceptability, LG-termination

Pages (from-to):

243-249

Notes:

Περιλαμβάνει περίληψη και βιβλιογραφικές αναφορές

Persistent URL:

https://pergamos.lib.uoa.gr/uoa/dl/object/1046903