HEAL DSpace

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

DSpace/Manakin Repository

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

Title: Επαλήθευση ιδιοτήτων πολυπλοκότητας δυαδικών δέντρων αναζήτησης σε 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

Show full item record

Files in this item

[PDF]
Name: theses_tick_fun_ds.pdf
Size: 452.1Kb
Format: PDF
View/Open

The following license files are associated with this item:

This item appears in the following Collection(s)

Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 3.0 Ελλάδα Except where otherwise noted, this item's license is described as Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 3.0 Ελλάδα