Login / Signup

Tuple Interpretations for Termination of Term Rewriting.

Akihisa Yamada
Published in: J. Autom. Reason. (2022)
Keyphrases
  • term rewriting
  • rewrite systems
  • theorem proving
  • theorem prover
  • operational semantics
  • knuth bendix
  • first order logic
  • multi agent systems
  • relational databases
  • databases
  • user defined
  • inference rules
  • formal semantics