Chengcheng JI


Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection
Chengcheng JI Masahito KURIHARA Haruhiko SATO 
Publication:   
Publication Date: 2019/02/01
Vol. E102-D  No. 2  pp. 223-238
Type of Manuscript:  PAPER
Category: Fundamentals of Information Systems
Keyword: 
term rewriting systemsterm rewriting inductionmulti-context inductionlemma generation
 Summary | Full Text:PDF(367.2KB)