Login / Signup

Multi-Dimensional Interpretations for Termination of Term Rewriting.

Akihisa Yamada
Published in: CADE (2021)
Keyphrases
  • term rewriting
  • multi dimensional
  • rewrite systems
  • theorem prover
  • theorem proving
  • operational semantics
  • knuth bendix
  • high dimensional
  • multi dimensional data
  • first order logic
  • software engineering
  • data cube