research
∙
02/06/2023
Rational functions via recursive schemes
We give a new characterization of the class of rational string functions...
share
research
∙
04/30/2021
Graph Traversals as Universal Constructions
We exploit a decomposition of graph traversals to give a novel character...
research
∙
08/07/2020
Cons-free Programs and Complexity Classes between LOGSPACE and PTIME
Programming language concepts are used to give some new perspectives on ...
research
∙
06/12/2020
Traversal-invariant characterizations of logarithmic space
We give a novel descriptive-complexity theoretic characterization of L a...
research
∙
10/12/2015