Markus Holzer (Institut f\"ur Informatik
Identifiers
No identifiers captured yet.
Papers (2)
- Input-Driven Double-Head Pushdown Automata cs.FL · 2017 · author #1
- On the Descriptional Complexity of Operations on Semilinear Sets cs.FL · 2017 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- Martin Kutrib (Institut f\"ur Informatik 2 shared papers
- Universit\"at Giessen) 2 shared papers
- Andreas Malcher (Institut f\"ur Informatik 1 shared papers
- Matthias Wendlandt (Institut f\"ur Informatik 1 shared papers
- Simon Beier (Institut f\"ur Informatik 1 shared papers