Showing 1 - 4 results of 4 for search 'Georg Zetzsche', query time: 0.03s Refine Results
  1. 1
    General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond

    General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond by Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

    Published 2022-10-01
    Get full text
    Article
  2. 2
    Permutations of context-free, ET0L and indexed languages

    Permutations of context-free, ET0L and indexed languages by Tara Brough, Laura Ciobanu, Murray Elder, Georg Zetzsche

    Published 2016-05-01
    Get full text
    Article
  3. 3
    Existential Definability over the Subword Ordering

    Existential Definability over the Subword Ordering by Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche

    Published 2023-12-01
    Get full text
    Article
  4. 4
    A Characterization for Decidable Separability by Piecewise Testable Languages

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

    Published 2017-12-01
    Get full text
    Article

Search Tools: