Events
Downward closures and homomorphism equivalence for indexed languages
Centre for Fundamentals of AI and Computational TheoryIn the second of our talks this friday, Richard Mandel (Edon's new RA) will talk about Downward closures and homomorphism equivalence for indexed languages (joint work with Corto Mascle and Georg Zetzsche.
| Contact: | Pasquale Malacaria |
| Email: | p.malacaria@qmul.ac.uk |
Updated by: Paul Curzon