Προεπισκόπηση νέας έκδοσης
Είσοδος
English
Είσοδος
English
Toggle navigation
Πλοήγηση
Αναζήτηση
Ευρετήρια
Βοήθεια
Σχετικά
Συλλογές
Πρακτικά Συνεδρίων
Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
Εξαγωγή Citation
BibTex
RIS
Text
Reasoning about termination of tabled logic programs
Άρθρο Συνεδρίου
uoadl:1046903
246 Αναγνώσεις
Περιγραφή
Περιεχόμενα
Πρωτότυπος Τίτλος:
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
Το ψηφιακό υλικό του τεκμηρίου δεν είναι διαθέσιμο.