Πλοήγηση ανά Θέμα Liquid Haskell
Εμφάνιση αποτελεσμάτων 1 έως 2 από 2
Ημερομηνία Έκδοσης | Τίτλος | Συγγραφέας | Επιβλέπων Καθηγητής |
---|---|---|---|
26-Μαρ-2021 | Επαλήθευση Ιδιοτήτων Πολυπλοκότητας Δυαδικών Δέντρων Αναζήτησης σε Liquid Haskell | Οικονόμου, Χρυσούλα | Παπασπύρου Νικόλαος |
16-Ιου-2018 | ΕΠΑΛΗΘΕΥΣΗ ΙΔΙΟΤΗΤΩΝ ΑΛΓΟΡΙΘΜΩΝ ΣΕ LIQUID HASKELL | Πέτρου, Γεώργιος | Παπασπύρου Νικόλαος |