Login / Signup

A class of ambiguous linear term-rewriting systems on which call-by-need is a normalizing reduction strategy.

Tohru NaoiMasafumi YamashitaToshihide IbarakiNamio Honda
Published in: Systems and Computers in Japan (1987)
Keyphrases
  • term rewriting systems
  • machine learning
  • artificial intelligence
  • standard deviation
  • finite dimensional
  • database
  • class labels
  • boolean expressions
  • functional programs