Advanced search    

Search: authors:"Marc Zeitoun"

4 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

The Complexity of Separation for Levels in Concatenation Hierarchies

version can be found at https://arxiv.org/abs/1707.03295, 2018 . Thomas Place , Lorijn van Rooijen, and Marc Zeitoun . Separating Regular Languages by Locally Testable and Locally Threshold Testable ... DagstuhlLeibniz-Zentrum fuer Informatik . Thomas Place , Lorijn van Rooijen, and Marc Zeitoun . Separating Regular Languages by Piecewise Testable and Unambiguous Languages . In Proceedings of the 38th

Separating Without Any Ambiguity

, and Marc Zeitoun . Separating regular languages by piecewise testable and unambiguous languages . In Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS ... '13 , volume 8087 of Lecture Notes in Computer Science, pages 729 - 740 . Springer, 2013 . Thomas Place and Marc Zeitoun . Going higher in the first-order quantifier alternation hierarchy on words . In

The Covering Problem: A Unified Approach for Investigating the Expressive Power of Logics

Rooijen, and Marc Zeitoun. Separating regular languages by piecewise testable and unambiguous languages. In Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science ... , MFCS?13, pages 729?740, 2013. Thomas Place, Lorijn van Rooijen, and Marc Zeitoun. Separating regular languages by locally testable and locally threshold testable languages. Logical Methods in Computer

Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages

A separator for two languages is a third language containing the first one and disjoint from the second one. We investigate the following decision problem: given two regular input languages, decide whether there exists a locally testable (resp. a locally threshold testable) separator. In both cases, we design a decision procedure based on the occurrence of special patterns in...