Optimizing term rewriting with creeper trace transducers.

Published in: J. Log. Algebraic Methods Program. (2024)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
finite automata
databases
neural network
cooperative learning
execution traces