Treffer 1 - 20 von 804 für Suche 'PLACE THOMAS', Suchdauer: 0,94s Treffer weiter einschränken
  1. 1
    Separating regular languages with two quantifier alternations

    Separating regular languages with two quantifier alternations von Thomas Place


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Separation for dot-depth two

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    All about unambiguous polynomial closure

    All about unambiguous polynomial closure von Place, Thomas, Zeitoun, Marc

    Veröffentlicht in TheoretiCS

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Separating Regular Languages with First-Order Logic

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    The Covering Problem

    The Covering Problem von Place, Thomas, Zeitoun, Marc


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Separating Regular Languages by Piecewise Testable and Unambiguous Languages

    Separating Regular Languages by Piecewise Testable and Unambiguous Languages von Place, Thomas, van Rooijen, Lorijn, Zeitoun, Marc


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Going Higher in First-Order Quantifier Alternation Hierarchies on Words

    Going Higher in First-Order Quantifier Alternation Hierarchies on Words von Place, Thomas, Zeitoun, Marc

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Covering and separation for logical fragments with modular predicates

    Covering and separation for logical fragments with modular predicates von Place, Thomas, Ramanathan, Varun, Weil, Pascal


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Regular tree languages in low levels of the Wadge Hierarchy

    Regular tree languages in low levels of the Wadge Hierarchy von Mikołaj Bojańczyk, Filippo Cavallari, Thomas Place, Michał Skrzypczak


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Deciding definability in FO2(<h,<v) on trees

    Deciding definability in FO2(<h,<v) on trees von Place, Thomas, Segoufin, Luc


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    On Separation by Locally Testable and Locally Threshold Testable Languages

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Generic Results for Concatenation Hierarchies

    Generic Results for Concatenation Hierarchies von Place, Thomas, Zeitoun, Marc

    Veröffentlicht in Theory of computing systems

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Adding Successor: A Transfer Theorem for Separation and Covering

    Adding Successor: A Transfer Theorem for Separation and Covering von Place, Thomas, Zeitoun, Marc


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    A decidable characterization of locally testable tree languages

    A decidable characterization of locally testable tree languages von Place, Thomas, Segoufin, Luc


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Concatenation Hierarchies: New Bottle, Old Wine

    Concatenation Hierarchies: New Bottle, Old Wine von Place, Thomas, Zeitoun, Marc


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Deciding Classes of Regular Languages: The Covering Approach

    Deciding Classes of Regular Languages: The Covering Approach von Place, Thomas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Characterizing Level One in Group-Based Concatenation Hierarchies

    Characterizing Level One in Group-Based Concatenation Hierarchies von Place, Thomas, Zeitoun, Marc


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    How Many Times Do You Need to Go Back to the Future in Unary Temporal Logic?

    How Many Times Do You Need to Go Back to the Future in Unary Temporal Logic? von Place, Thomas, Zeitoun, Marc


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Going Higher in the First-Order Quantifier Alternation Hierarchy on Words

    Going Higher in the First-Order Quantifier Alternation Hierarchy on Words von Place, Thomas, Zeitoun, Marc


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    The amazing mixed polynomial closure and its applications to two-variable first-order logic

    The amazing mixed polynomial closure and its applications to two-variable first-order logic von Place, Thomas

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: