Πέργαμος - Βιβλιοθήκη και Κέντρο Πληροφόρησης Εθνικού και Καποδιστριακού Πανεπιστημίου Αθηνών

Πρωτότυπος Τίτλος:

Reasoning about termination of tabled logic programs

Γλώσσες Τεκμηρίου:

Αγγλικά

Δημιουργός:

Σαγώνας, Κωνσταντίνος

Περίληψη:

Δεν υπάρχει περίληψη

Κύρια θεματική κατηγορία:

Λογική

Λοιπές θεματικές κατηγορίες:

Πληροφορική

Λέξεις-κλειδιά:

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

Σελίδες (από-έως):

243-249

Σημειώσεις:

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

Μόνιμη διεύθυνση:

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