TY - THES
TI - The Expressive Power of Higher-order Datalog: An XSB Implementation
AU - ΠΡΩΤΟΠΑΠΑΣ ΕΥΑΓΓΕΛΟΣ
PY - 2018
C1 - Σχολή Θετικών Επιστημών, Τμήμα Πληροφορικής & Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
ER -