Oliver Matz

Publication Activity (10 Years)

Years Active: 1997-2012
Publications (10 Years): 0

Top Topics

Picture Languages

Quantifier Elimination

Syntactic Semantic

Mazurkiewicz Traces

Top Venues

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Oliver Matz
First-Order Quantifiers and the Syntactic Monoid of Height Fragments of Picture Languages CoRR (2012)
Oliver Matz, Nicole Schweikardt
Expressive power of monadic logics on words, trees, pictures, and graphs. Logic and Automata (2008)
Oliver Matz
Recognizable vs. Regular Picture Languages. CAI (2007)
Oliver Matz, Nicole Schweikardt, Wolfgang Thomas
The Monadic Quantifier Alternation Hierarchy over Grids and Graphs. Inf. Comput. 179 (2) (2002)
Oliver Matz
Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures. Theor. Comput. Sci. 270 (1-2) (2002)
Oliver Matz
Dot-Depth and Monadic Quantifier Alternation over Pictures - Extended Abstract. Ausgezeichnete Informatikdissertationen (1999)
Oliver Matz
On Piecewise Testable, Starfree, and Recognizable Picture Languages. FoSSaCS (1998)
Oliver Matz
One Quantifier Will Do in Existential Monadic Second-Order Logic over Pictures. MFCS (1998)
Oliver Matz
Regular Expressions and Context-Free Grammars for Picture Languages. STACS (1997)
Oliver Matz, Wolfgang Thomas
The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite. LICS (1997)
Jens Vöge, S. Ulbrand, Oliver Matz, Nils Buhrke
. Workshop on Implementing Automata (1997)