Article,

Ordered term tree languages which are polynomial time inductively inferable from positive data.

, , , and .
Theor. Comput. Sci., 350 (1): 63-90 (2006)

Meta data

Tags

Users

  • @dblp

Comments and Reviews