Directly to the main menu
Directly to the content
Directly to the footer

Google Search

Chris Liebold

2026-04 - Paper accepted for Journal of Theoretical Computer Science

Paper by Chris Köcher and Dietrich Kuske accepted for Journal of Theoretical Computer Science

Paper from Sebastian Pfau published at CSL 2026

TU Ilmenau

The paper “Reachability in Trace-Pushdown Systems” by Chris Köcher and Dietrich Kuske has been accepted for publication in the Journal of Theoretical Computer Science, 2026. A preprint is available at the following link.