Learning of Elementary Formal Systems with Two Clauses Using Queries.

Hirotaka Kato, Satoshi Matsumoto, Tetsuhiro Miyahara

Browse the full ALT paper archive.