Conditional equational theories and complete sets of transformations
1990 ◽
Vol 75
(1-2)
◽
pp. 85-110
◽
1983 ◽
pp. 205-220
◽
1986 ◽
Vol 43
◽
pp. 189-200
◽
Keyword(s):
2013 ◽
Vol 46
(48)
◽
pp. 485303
◽
Keyword(s):
Keyword(s):
1974 ◽
Vol 15
(10)
◽
pp. 1787-1799
◽
1997 ◽
Vol 79
(3)
◽
pp. 507-510
◽