Travelled to:1 × Canada
1 × Poland
1 × Portugal
Collaborated with:∅ W.Thomas J.Vöge S.Ulbrand N.Buhrke
Talks about:hierarchi (1) recogniz (1) quantifi (1) piecewis (1) automata (1) testabl (1) starfre (1) languag (1) infinit (1) theori (1)
Person: Oliver Matz
DBLP: Matz:Oliver
Contributed to:
1998
1997
1997Wrote 3 papers:
- FoSSaCS-1998-Matz #on the
- On Piecewise Testable, Starfree, and Recognizable Picture Languages (OM), pp. 203–210.
- LICS-1997-MatzT #graph #infinity #monad #quantifier
- The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite (OM, WT), pp. 236–244.
- WIA-1997-VogeUMB #automaton
- The Automata Theory Package omega (JV, SU, OM, NB), pp. 228–231.