Paper by Prof. Dietrich Kuske accepted for publication at CiE 2025

Paper, CiE 2025 LissabonTU Ilmenau

The paper “The theory of reachability of trace-pushdown systems" by Prof. Dietrich Kuske was accepted for presentation at CiE 2025 (https://sites.google.com/view/cie2025-computabilityineurope/home/).

A preprint is available at the following Link.