Travelled to:1 × France
1 × Iceland
1 × United Kingdom
Collaborated with:S.Grigorieff J.Pin S.Salvati G.Manzonetto H.Barendregt C.Borlido S.Czarnetzki A.Krebs
Talks about:dualiti (2) substitut (1) urzyczyn (1) recognit (1) principl (1) approach (1) topolog (1) regular (1) languag (1) theori (1)
Person: Mai Gehrke
DBLP: Gehrke:Mai
Contributed to:
201220102008
2017Wrote 4 papers:
- ICALP-v2-2012-SalvatiMGB
- Loader and Urzyczyn Are Logically Related (SS, GM, MG, HB), pp. 364–376.
- ICALP-v2-2010-GehrkeGP #approach #recognition
- A Topological Approach to Recognition (MG, SG, JÉP), pp. 151–162.
- ICALP-B-2008-GehrkeGP #equation #regular expression
- Duality and Equational Theory of Regular Languages (MG, SG, JÉP), pp. 246–257.
- CSL-2017-BorlidoCGK #principle
- Stone Duality and the Substitution Principle (CB, SC, MG, AK), p. 20.