Haruhiko SATO


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)

Multi-Context Rewriting Induction with Termination Checkers
Haruhiko SATO Masahito KURIHARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/05/01
Vol. E93-D  No. 5  pp. 942-952
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Term Rewriting Systems
Keyword: 
equational theorem provingterm rewriting systemsmathematical inductionrewriting inductionmulti-completion
 Summary | Full Text:PDF(581.4KB)

Constraint-Based Multi-Completion Procedures for Term Rewriting Systems
Haruhiko SATO Masahito KURIHARA Sarah WINKLER Aart MIDDELDORP 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/02/01
Vol. E92-D  No. 2  pp. 220-234
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science)
Category: 
Keyword: 
equational theorem provingterm rewriting systemKnuth-Bendix completionmulti-completionconstraint-based multi-completion
 Summary | Full Text:PDF(1MB)