Τμήμα Μηχανικών Η/Υ και Πληροφορικής (Τεχνικές Αναφορές) Collection home page

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 2 of 2
Issued DateTitleAuthor(s)Level
13-Jan-2014On model-theoretic approaches to monadic second-order logic evaluationΚοσμαδάκης, Σταύρος; Φουστούκου, Ευγενία-
10-May-2011Automata-theoretic and datalog-based solutions of monadic second-order logic evaluation problems over structures of bounded-treewidthΚαλαντζή, Λαμπρινή; Φουστούκου, Ευγενία-
Collection's Items (Sorted by Submit Date in Descending order): 1 to 2 of 2