Seguir
Adam Husted Kjelstrøm
Adam Husted Kjelstrøm
Aarhus University
E-mail confirmado em post.au.dk
Título
Citado por
Citado por
Ano
The decidability and complexity of interleaved bidirected Dyck reachability
AH Kjelstrøm, A Pavlogiannis
Proceedings of the ACM on Programming Languages 6 (POPL), 1-26, 2022
112022
Tight bounds for reachability problems on one-counter and pushdown systems
JC Hansen, AH Kjelstrøm, A Pavlogiannis
Information Processing Letters 171, 106135, 2021
72021
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–2