Preview new version
Enter
Ελληνικά
Enter
Ελληνικά
Toggle navigation
Browse
Search
Indexes
Help
About
Collections
Conference Proceedings
Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
Export Citation
BibTex
RIS
Text
Reasoning about termination of tabled logic programs
Conference Paper
uoadl:1046903
247 Read counter
Description
Contents
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
The digital material of the item is not available.