research
∙
05/29/2023
On Complexity Bounds and Confluence of Parallel Term Rewriting
We revisit parallel-innermost term rewriting as a model of parallel comp...
research
∙
08/01/2022