Search Results - Marc Zeitoun

  • Showing 1 - 7 results of 7
Refine Results
  1. 1

    The Covering Problem by Thomas Place, Marc Zeitoun

    Published in Logical Methods in Computer Science (2018-07-01)
    Get full text
    Article


  2. 2

    Separating Regular Languages with First-Order Logic by Thomas Place, Marc Zeitoun

    Published in Logical Methods in Computer Science (2016-03-01)
    Get full text
    Article


  3. 3

    Separation for dot-depth two by Thomas Place, Marc Zeitoun

    Published in Logical Methods in Computer Science (2021-09-01)
    Get full text
    Article


  4. 4

    All about unambiguous polynomial closure by Thomas Place, Marc Zeitoun

    Published in TheoretiCS (2024-01-01)
    Get full text
    Article


  5. 5

    On Separation by Locally Testable and Locally Threshold Testable Languages by Thomas Place, Lorijn van Rooijen, Marc Zeitoun

    Published in Logical Methods in Computer Science (2014-09-01)
    Get full text
    Article


  6. 6

    Model Checking Vector Addition Systems with one zero-test by Rémi Bonnet, Alain FInkel, Jérôme Leroux, Marc Zeitoun

    Published in Logical Methods in Computer Science (2012-06-01)
    Get full text
    Article


  7. 7

    A Characterization for Decidable Separability by Piecewise Testable Languages by Wojciech Czerwiński, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, Georg Zetzsche

    Get full text
    Article


Search Tools: