Prati
Adam Husted Kjelstrøm
Adam Husted Kjelstrøm
Aarhus University
Potvrđena adresa e-pošte na post.au.dk
Naslov
Citirano
Citirano
Godina
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–2