David Richerby
courses given
| Course | Semester | |
|---|---|---|
| Λ07Γ. | Λογική, Αυτόματα και Παίγνια | 2006-2007, εαρινό εξάμηνο |
| Λ99Α. | Finite model theory | 2006-2007, χειμερινό εξάμηνο |
| Λ05Δ. | Θεωρία Γραφημάτων | 2005-2006, εαρινό εξάμηνο |
| Λ99Α. | Finite model theory | 2005-2006, χειμερινό εξάμηνο |
| 4 courses. | ||
seminars given
| ημερομηνία | τίτλος | |
|---|---|---|
| 2006/11/03 | How to kill a Minotaur: An introduction to graph searching | |
| 2006/03/31 | Hilbert's ε-operator | |
| 2005/11/11 | Is there a logic for polynomial time? | |
| 3 seminars. | ||
MSc theses supervised
| τίτλος | student | defense |
|---|---|---|
| Succintness of logics on trees | 2007-12-01 | |
| 1 MSc thesis. | ||