HEAL DSpace

Επαλήθευση ιδιοτήτων πολυπλοκότητας δυαδικών δέντρων αναζήτησης σε liquid haskell

Αποθετήριο DSpace/Manakin

Επαλήθευση ιδιοτήτων πολυπλοκότητας δυαδικών δέντρων αναζήτησης σε liquid haskell

Τίτλος: Επαλήθευση ιδιοτήτων πολυπλοκότητας δυαδικών δέντρων αναζήτησης σε liquid haskell;
Verifying complexity properties of binary search trees using liquid haskell
Οικονόμου, Χρυσούλα; Oikonomou, Chrysoula
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/53745
http://dx.doi.org/10.26240/heal.ntua.21443

Εμφάνιση πλήρους εγγραφής

Αρχεία σε αυτό το τεκμήριο

[PDF]
Όνομα: theses_tick_fun_ds.pdf
Μέγεθος: 452.1Kb
Μορφότυπο: PDF
Προβολή/Άνοιγμα

Οι παρακάτω άδειες σχετίζονται με αυτό το τεκμήριο:

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)

Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 3.0 Ελλάδα Εκτός από όπου ορίζεται κάτι διαφορετικό, αυτή η άδεια περιγράφεται ως Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 3.0 Ελλάδα