Analysing Parallel Complexity of Term Rewriting.

Thaïs Baudon Carsten Fuhs Laure Gonnord

Published in: CoRR (2022)

Keyphrases

term rewriting
theorem proving
theorem prover
computational complexity
parallel implementation
operational semantics
knuth bendix
computational cost
logic programs
decision problems
rewrite systems
multi agent
training set
worst case