Analysing Parallel Complexity of Term Rewriting.

Thaïs Baudon Carsten Fuhs Laure Gonnord

Published in: LOPSTR (2022)

Keyphrases

term rewriting
theorem prover
theorem proving
parallel processing
rewrite systems
parallel implementation
computational complexity
computational cost
computational intelligence
operational semantics
knuth bendix
worst case
language learning
parallel computing
computer architecture