Ground term confluence in parametric conditional equational specifications
2006 ◽
pp. 286-298
◽
1987 ◽
Vol 49
(1)
◽
pp. 43-79
◽
1971 ◽
Vol 61
(9)
◽
pp. 1257
◽
Keyword(s):
Keyword(s):
2007 ◽
Vol 17
(3)
◽
pp. 439-484
◽
Keyword(s):
1981 ◽
Vol 14
(4)
◽
pp. L135-L139
◽
1970 ◽
Vol 53
(3)
◽
pp. 1247-1257
◽