1997-05-01
Termination for a class of algorithms for constructing algebras given by generators and relations
Publication
Publication
Journal of Pure and Applied Algebra , Volume 117-118 p. 431- 445
Additional Metadata | |
---|---|
North-Holland | |
Journal of Pure and Applied Algebra | |
van Leeuwen, M., & Roelofs, M. (1997). Termination for a class of algorithms for constructing algebras given by generators and relations. Journal of Pure and Applied Algebra, 117-118, 431–445. |