23 citations · 59 across the 13 of their papers we have counts for
1 paper · 2 filters
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…