Login / Signup

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version).

Takahito AotoNaoki NishidaJonas Schöpf
Published in: CoRR (2024)
Keyphrases
  • term rewriting
  • equational theories
  • theorem proving
  • theorem prover
  • rewrite systems
  • first order logic
  • knuth bendix
  • automated reasoning
  • inference rules
  • operational semantics
  • database
  • machine learning