Browse
Collection's Items (Sorted by Submit Date in Descending order): 1 to 2 of 2
Issued Date | Title | Author(s) | Level |
---|---|---|---|
13-Jan-2014 | On model-theoretic approaches to monadic second-order logic evaluation | Κοσμαδάκης, Σταύρος; Φουστούκου, Ευγενία | - |
10-May-2011 | Automata-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
Discover
Subject