Higher-Dimensional Word Problems with Applications to Equational Logic.

Published in: Theor. Comput. Sci. (1993)

Keyphrases

higher dimensional
word problems
euclidean space
high dimensional
similar problems
low dimensional
theorem proving
grade students
dimensionality reduction
distance transform