On Word Problems in Equational Theories.

Jieh Hsiang Michaël Rusinowitch

Published in: ICALP (1987)

Keyphrases

word problems
equational theories
similar problems
theorem proving
computer aided
grade students
programming language
control group