Search Results - Georg Zetzsche

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

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

    Published in Logical Methods in Computer Science (2022-10-01)
    Get full text
    Article


  2. 2

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

    Get full text
    Article


  3. 3

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

    Published in Logical Methods in Computer Science (2023-12-01)
    Get full text
    Article


  4. 4

    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: