A Relation Algebra for Term Rewriting: A differential approach to sequential reduction (Revised Version).

Published in: CoRR (2023)

Keyphrases

term rewriting
revised version
relation algebra
theorem proving
theorem prover
expressive power
operational semantics
rewrite systems
first order logic
knuth bendix
machine learning
inference rules
database systems
software engineering
automated reasoning