TY - THES
TI - The expressive power of second-order datalog under the well-founded semantics of negation
AU - ΑΣΛΑΝΗΣ-ΠΕΤΡΟΥ ΡΩΜΑΝΟΣ
PY - 2022
C1 - Σχολή Θετικών Επιστημών, Τμήμα Πληροφορικής & Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
ER -