HEAL DSpace

Παραμετρική πολυπλοκότητα και έλεγχος μοντέλων σε φραγμένες οικογένειες γραφημάτων

DSpace/Manakin Repository

Παραμετρική πολυπλοκότητα και έλεγχος μοντέλων σε φραγμένες οικογένειες γραφημάτων

Title: Παραμετρική πολυπλοκότητα και έλεγχος μοντέλων σε φραγμένες οικογένειες γραφημάτων;
Parameterized complexity and model checking on bounded families of graphs
Αναστασιάδη, Έλλη; Anastasiadi, Elli
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/48316
http://dx.doi.org/10.26240/heal.ntua.16423
Date: 2019-02-26

Show full item record

Files in this item

[PDF]
Name: Anastasiadi_Ellie ...
Size: 2.039Mb
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 Ελλάδα