Sign in

Polynomial Time Inductive Inference of Languages of Ordered Term Tree Patterns with Height-Constrained Variables from Positive Data.

Takayoshi ShoudaiKazuhide AikohYusuke SuzukiSatoshi MatsumotoTetsuhiro MiyaharaTomoyuki Uchida
Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2017)
Keyphrases