Not registered as user yet

Name:Adam Husted Kjelstrøm
Country:Denmark
Affiliation:Aarhus University

Contributions

POPL 2022 Author of The Decidability and Complexity of Interleaved Bidirected Dyck Reachability within the POPL-track