|
|
||
|
|
|
MR807899
(87f:03103)
03D03
(68Q50 68T15)
Kapur, Deepak; Narendran, Paliath The Knuth\mhy Bendix completion procedure and Thue systems. SIAM J. Comput. 14 (1985), no. 4, 1052--1072. |
|
|
| For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews. | ||||
|
|
||||
AMS Home Page
|