TY  - RPRT
TI  - On Complexity Bounds and Confluence of Parallel Term Rewriting
AU  - Thaïs Baudon
AU  - Carsten Fuhs
AU  - Laure Gonnord
PY  - 2024
DO  - 10.46298/fi.11397
UR  - https://arxiv.org/abs/2305.18250
ID  - 2305.18250
ER  -