Arbeit von Chris Köcher und Dietrich Kuske für das Journal of Theoretical Computer Science angenommen

TU Ilmenau

Die Arbeit "Reachability in Trace-Pushdown Systems" von Chris Köcher und Dietrich Kuske wurde für die Veröffentlichung im Journal of Theoretical Computer Science, 2026 angenommen. Ein Prepint ist unter dem folgenden Link verfügbar.