A note on algebraic specification of binary trees
2016 ◽
Vol E99.A
(6)
◽
pp. 1067-1074
◽
1993 ◽
Vol 2
(2)
◽
pp. 145-156
◽
Keyword(s):
1984 ◽
Vol 103
(2)
◽
pp. 461-480
◽
2008 ◽
Vol 15
(5)
◽
pp. 428-434
◽
1994 ◽
Vol 23
(1)
◽
pp. 12-23
◽
1988 ◽
Vol 37
(1-3)
◽
pp. 123-153
◽
Keyword(s):