Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection
['Chengcheng JI', 'Masahito KURIHARA', 'Haruhiko SATO']
/
IEICE Transactions on Information and Systems
/ Vol. 102
/ No. 2
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？