|
|
||
|
|
|
MR1259675
(95f:68118)
68Q42
(03C05 06-04)
Freese, Ralph; Ježek, J.; Nation, J. B. Term rewrite systems for lattice theory. J. Symbolic Comput. 16 (1993), no. 3, 279--288. |
|
|
| 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
|