Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection

Chengcheng JI  Masahito KURIHARA  Haruhiko SATO  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2018/11/12
DOI: 10.1587/transinf.2017EDP7368
Full Text: PDF(206.4KB)