23 citations · 26 across the 2 of their papers we have counts for
2 papers
cs.FL2009★ 3 cited
On Measuring Non-Recursive Trade-Offs
Hermann Gruber, Markus Holzer, Martin Kutrib
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their g…
cs.CC2009★ 23 cited
Multi-Head Finite Automata: Characterizations, Concepts and Open Problems
Markus Holzer, Martin Kutrib, Andreas Malcher
Multi-head finite automata were introduced in (Rabin, 1964) and (Rosenberg, 1966). Since that time, a vast literature on computational and descriptional complexity issues on multi-…