Uniqueness of Normal Forms for Shallow Term Rewrite Systems
2017 ◽
Vol 18
(2)
◽
pp. 1-20
◽
2010 ◽
Vol 21
(6)
◽
pp. 459-485
◽
2017 ◽
Vol 235
◽
pp. 32-45
2019 ◽
Vol 29
(8)
◽
pp. 1345-1366
◽
Keyword(s):
1990 ◽
Vol 01
(04)
◽
pp. 369-386
◽
Keyword(s):
2012 ◽
Vol 290
◽
pp. 69-85
◽
2010 ◽
Vol 11
(1)
◽
pp. 33-63
◽