Login / Signup

A Test for lambda-Confluence for Certain Prefix Rewriting Systems with Applications to the Generalized Word Problem.

Norbert KuhnKlaus MadlenerFriedrich Otto
Published in: ISSAC (1990)
Keyphrases
  • rewriting systems
  • word problems
  • data structure
  • structural properties
  • grade students
  • rewriting rules