Ordered Term Tree Languages which Are Polynomial Time Inductively Inferable from Positive Data.

Yusuke Suzuki, Takayoshi Shoudai, Tomoyuki Uchida, Tetsuhiro Miyahara

Browse the full ALT paper archive.