Markus Holzer (Institut f\"ur Informatik

Identifiers

No identifiers captured yet.

Papers (2)

1. Input-Driven Double-Head Pushdown Automata cs.FL · 2017 · author #1
2. 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