David Richerby
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. |
Further information
- Teacher profile (for extra information about courses given).