Eager Term Rewriting For The Fracterm Calculus Of Common Meadows.

Jan A. Bergstra John V. Tucker

Published in: Comput. J. (2024)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
databases
computer algebra
artificial intelligence
reinforcement learning
expert systems
first order logic
formal semantics