On Complexity Bounds and Confluence of Parallel Term Rewriting.

Thaïs Baudon Carsten Fuhs Laure Gonnord

Published in: CoRR (2023)

Keyphrases

term rewriting
complexity bounds
rewrite systems
theorem proving
theorem prover
operational semantics
worst case
constraint networks
query containment
upper bound
dynamic environments