Ordered term tree languages which are polynomial time inductively inferable from positive data
2006 ◽
Vol 350
(1)
◽
pp. 63-90
◽
1999 ◽
Vol 10
(04)
◽
pp. 483-501
2008 ◽
Vol E91-D
(6)
◽
pp. 1704-1718
◽
2012 ◽
pp. 389-404
◽
2002 ◽
pp. 169-184
◽
1996 ◽
Vol 07
(04)
◽
pp. 309-327
◽
Keyword(s):