Term rewriting with variable binding
1996 ◽
Vol 25
(1)
◽
pp. 3-34
◽
Keyword(s):
1998 ◽
Vol 208
(1-2)
◽
pp. 87-110
◽
Keyword(s):
2002 ◽
Vol 13
(06)
◽
pp. 873-887
2013 ◽
Vol 14
(4)
◽
pp. 1-28
◽
2011 ◽
Vol 21
(4)
◽
pp. 827-859
◽
Keyword(s):
Keyword(s):
1987 ◽
Vol 49
(1)
◽
pp. 43-79
◽
Keyword(s):