Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning.

Su Feng Toshiki Sakabe Yasuyoshi Inagaki

Published in: DISCO (1993)

Keyphrases

term rewriting
theorem proving
theorem prover
rewrite systems
knuth bendix
dynamic environments
operational semantics
machine learning
software engineering
databases
reinforcement learning
multiagent systems