Evgenia Foustoucos
seminars given
ημερομηνία | τίτλος | |
---|---|---|
2002/05/24 | Datalog with greatest fixed points can express various temporal logics | |
1999/12/17 | Persistency numbers of Datalog programs | |
2 seminars. |
PhD theses supervised
τίτλος | student | defense |
---|---|---|
Monadic Second Order Logic and Parameterized Complexity on Structures of Bounded Treewidth | 2012-05-01 | |
1 PhD thesis. |
MSc theses supervised
τίτλος | student | defense |
---|---|---|
MSO-evaluation and automata | 2004-11-01 | |
1 MSc thesis. |
Further information
- Teacher profile (for extra information about courses given).