Arity hierarchies for fixed-point logic

Άρθρο Συνεδρίου uoadl:1046670 376 Αναγνώσεις

Πρωτότυπος Τίτλος:
Arity hierarchies for fixed-point logic
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Αφράτη, Φώτω Ν.
Κύρια θεματική κατηγορία:
Λογική
Λοιπές θεματικές κατηγορίες:
Πληροφορική
Λέξεις-κλειδιά:
query language, Datalog, homomorphisms, pebble games, arity hierarchies
Σελίδες (από-έως):
105-115
Σημειώσεις:
Περιλαμβάνει περίληψη, βιβλιογραφικές αναφορές και εικόνες
Το ψηφιακό υλικό του τεκμηρίου δεν είναι διαθέσιμο.