Resultados de procura - Georg Zetzsche

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

Ligazón do recurso

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

Ligazón do recurso

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

Ligazón do recurso

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

Ligazón do recurso