Font size: Αα Αα Αα hide gadgets
You are here: Persons » David Richerby Anonymously browsing from at 16:26:58, 12-12-2018. login

David Richerby

David Richerby

  • Researcher, University of Cambridge
  • MPLA

seminars given

date title
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

title student defense
Succintness of logics on trees V. Nikas 2007-12-01
1 MSc thesis.

Further information


Page updates

No recent updates.

Feeds RSS and Atom feeds

all posts RSS
news RSS
announcements RSS
website news RSS
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.