A second order theory of infinite trees
1993 ◽
Vol 47
(3-4)
◽
pp. 135-152
2006 ◽
Vol 181
(1)
◽
pp. 6-20
◽
Keyword(s):
1999 ◽
Vol 47
(5)
◽
pp. 643-652
◽
Keyword(s):
1984 ◽
Vol 57
(1)
◽
pp. 15-22
◽
Keyword(s):
1975 ◽
pp. 132-154
◽