Termination for a class of algorithms for constructing algebras given by generators and relations
Marc A.A. van Leeuwen, Marcel RoelofsVolume:
117-118
Year:
1997
Language:
english
Pages:
15
Journal:
Journal of Pure and Applied Algebra
DOI:
10.1016/s0022-4049(97)00021-2
File:
PDF, 1.11 MB
english, 1997