Aarhus University Seal / Aarhus Universitets segl

Adam Husted Kjelstrøm

  1. 2021
  2. Published

    Tight bounds for reachability problems on one-counter and pushdown systems. / Hansen, Jakob Cetti; Kjelstrøm, Adam Husted; Pavlogiannis, Andreas.

    In: Information Processing Letters, Vol. 171, 106135, 10.2021.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review