Zum Inhalt springen

  1. Kuske, Dietrich [VerfasserIn]; Schwarz, Christian [VerfasserIn] ; Dietrich Kuske and Christian Schwarz [MitwirkendeR]

    Complexity of Counting First-Order Logic for the Subword Order

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  3. Van Rooijen, Lorijn [VerfasserIn] ; Bordeaux [MitwirkendeR]; Zeitoun, Marc [MitwirkendeR]

    Une approche combinatoire du problème de séparation pour les langages réguliers ; A combinatorial approach to the separation problem for regular languages

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-12-04

  5. Goubault-Larrecq, Jean [VerfasserIn]; Schmitz, Sylvain [VerfasserIn] ; Jean Goubault-Larrecq and Sylvain Schmitz [MitwirkendeR]

    Deciding Piecewise Testable Separability for Regular Tree Languages

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  7. Czerwinski, Wojciech [VerfasserIn]; Martens, Wim [VerfasserIn]; van Rooijen, Lorijn [VerfasserIn]; Zeitoun, Marc [VerfasserIn]

    A Note on Decidable Separability by Piecewise Testable Languages

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    University of Bayreuth: ERef Bayreuth, 2015

  8. Karandikar, Prateek [VerfasserIn]; Schnoebelen, Philippe [VerfasserIn] ; Prateek Karandikar and Philippe Schnoebelen [MitwirkendeR]

    The Height of Piecewise-Testable Languages with Applications in Logical Complexity

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  9. Bojańczyk, Mikołaj; Segoufin, Luc; Straubing, Howard

    Piecewise testable tree languages

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Centre pour la Communication Scientifique Directe (CCSD), 2012

    Erschienen in: Logical Methods in Computer Science

  18. Place, Thomas; van Rooijen, Lorijn; Zeitoun, Marc

    Mathematical Foundations of Computer Science 2013: Separating Regular Languages by Piecewise Testable and Unambiguous Languages

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2013

    Erschienen in: Mathematical Foundations of Computer Science 2013