Travelled to:
1 × Germany
Collaborated with:
J.A.Brzozowski J.Shallit
Talks about:
kuratowski (2) theorem (2) languag (2) formal (2) closur (2)
Person: Elyot Grant
DBLP: Grant:Elyot
Contributed to:
Wrote 2 papers:
- DLT-2009-BrzozowskiGS #formal method #theorem
- Closures in Formal Languages and Kuratowski’s Theorem (JAB, EG, JS), pp. 125–144.
- DLT-J-2009-BrzozowskiGS11 #formal method #theorem
- Closures in Formal Languages and Kuratowski’s Theorem (JAB, EG, JS), pp. 301–321.