Login / Signup

Conditions for confluence of innermost terminating term rewriting systems.

Sayaka IshizukiMichio OyamaguchiMasahiko Sakai
Published in: Appl. Algebra Eng. Commun. Comput. (2019)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • sufficient conditions
  • databases
  • machine learning
  • object oriented