Sign in

Chew's Theorem Revisited -Uniquely Normalizing Property of Nonlinear Term Rewriting Systems-.

Mizuhito Ogawa
Published in: ISAAC (1992)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • standard deviation
  • neural network
  • logic programming
  • tabu search