23 citations · 59 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.FL2017
Input-Driven Double-Head Pushdown Automata
Markus Holzer, Martin Kutrib, Andreas Malcher +1
We introduce and study input-driven deterministic and nondeterministic double-head pushdown automata. A double-head pushdown automaton is a slight generalization of an ordinary pus…
cs.FL2017★ 12 cited
On the Descriptional Complexity of Operations on Semilinear Sets
Simon Beier, Markus Holzer, Martin Kutrib
We investigate the descriptional complexity of operations on semilinear sets. Roughly speaking, a semilinear set is the finite union of linear sets, which are built by constant and…