Equational Theories and Validity for Logically Constrained Term Rewriting.

Takahito Aoto Naoki Nishida Jonas Schöpf

Published in: FSCD (2024)

Keyphrases

term rewriting
equational theories
theorem proving
theorem prover
first order logic
rewrite systems
knuth bendix
inference rules
automated reasoning
operational semantics
function symbols
knowledge base
inductive logic programming