Tha\"is Baudon

Identifiers

No identifiers captured yet.

Papers (1)

1. On Complexity Bounds and Confluence of Parallel Term Rewriting cs.LO · 2023 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Carsten Fuhs 1 shared papers
• Laure Gonnord 1 shared papers