Oliver Matz

According to our database, Oliver Matz authored at least 12 papers between 1997 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

First-Order Quantifiers and the Syntactic Monoid of Height Fragments of Picture Languages

Oliver Matz

CoRR, 2012

2008

Expressive power of monadic logics on words, trees, pictures, and graphs.

Oliver Matz, Nicole Schweikardt

Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008

2007

Recognizable vs. Regular Picture Languages.

Oliver Matz

Proceedings of the Algebraic Informatics, Second International Conference, 2007

2002

Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures.

Oliver Matz

Theor. Comput. Sci., 2002

The Monadic Quantifier Alternation Hierarchy over Grids and Graphs.

Oliver Matz, Nicole Schweikardt, Wolfgang Thomas

Inf. Comput., 2002

1999

Dot-depth and monadic quantifier alternation over pictures.

Oliver Matz

PhD thesis, 1999

Dot-Depth and Monadic Quantifier Alternation over Pictures - Extended Abstract.

Oliver Matz

Proceedings of the Ausgezeichnete Informatikdissertationen 1999, 1999

1998

One Quantifier Will Do in Existential Monadic Second-Order Logic over Pictures.

Oliver Matz

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

On Piecewise Testable, Starfree, and Recognizable Picture Languages.

Oliver Matz

Proceedings of the Foundations of Software Science and Computation Structure, 1998

1997

The Automata Theory Package <i>omega</i>.

Jens Vöge, S. Ulbrand, Oliver Matz, Nils Buhrke

Proceedings of the Automata Implementation, 1997

Regular Expressions and Context-Free Grammars for Picture Languages.

Oliver Matz

Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite.

Oliver Matz, Wolfgang Thomas

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997