A Decidable Characterization of Locally Testable Tree Languages
Keyword(s):
Keyword(s):
1996 ◽
Vol 154
(1)
◽
pp. 85-106
◽
Keyword(s):
2009 ◽
Vol 20
(02)
◽
pp. 221-245
◽
Keyword(s):
2010 ◽
Vol 20
(02)
◽
pp. 195-239
◽
Keyword(s):
1974 ◽
Vol 32
◽
pp. 254-255
1983 ◽
Vol 41
◽
pp. 270-271
1973 ◽
Vol 31
◽
pp. 144-145