Login / Signup

Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams.

Takahito AotoYoshihito ToyamaKazumasa Uchida
Published in: RTA-TLCA (2014)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • hand drawn
  • graphical representation
  • databases
  • machine learning
  • data integration