Login / Signup

Bounded, Strongly Sequential and Forward-Branching Term Rewriting Systems.

Irène Durand
Published in: J. Symb. Comput. (1994)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • branch and bound
  • search algorithm
  • search tree
  • management system
  • forward and backward