Login / Signup

Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems.

Yoshihito ToyamaJan Willem KlopHendrik Pieter Barendregt
Published in: J. ACM (1995)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • random variables
  • linear systems
  • active rules
  • artificial intelligence
  • knowledge base
  • probability distribution
  • nearest neighbor