2025-04 - Paper - CiE 2025

Die Arbeit "The theory of reachability of trace-pushdown systems" von Prof. Dietrich Kuske wurde auf der CiE 2025 (https://sites.google.com/view/cie2025-computabilityineurope/home/) zur Veröffentlichung angenommen.

Die Veröffentlichung ist unter folgendem Link verfügbar.