Department of Computer Science

• Published

  The Decidability and Complexity of Interleaved Bidirected Dyck Reachability

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

• Published

  Tight bounds for reachability problems on one-counter and pushdown systems

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

View all (2) »