Sign in
A Test for lambda-Confluence for Certain Prefix Rewriting Systems with Applications to the Generalized Word Problem.
Norbert Kuhn
Klaus Madlener
Friedrich Otto
Published in:
ISSAC (1990)
Keyphrases
</>
rewriting systems
word problems
data structure
structural properties
grade students
rewriting rules