Travelled to:
1 × Croatia
1 × France
1 × Iceland
1 × Japan
Collaborated with:
M.Gehrke J.Pin P.Valarcher C.Choffrut
Talks about:
theori (2) transfinit (1) algorithm (1) recognit (1) function (1) approach (1) topolog (1) regular (1) languag (1) dualiti (1)
Person: Serge Grigorieff
DBLP: Grigorieff:Serge
Contributed to:
Wrote 4 papers:
- LICS-2012-GrigorieffV #algorithm #bound #using
- Functionals Using Bounded Information and the Dynamics of Algorithms (SG, PV), pp. 345–354.
- 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.
- WLC-2000-ChoffrutG #formal method #string
- The Theory of Rational Relations on Transfinite Strings (CC, SG), pp. 103–133.