Keyword : term rewriting systems


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)

Confluence Property of Simple Frames in Dynamic Term Rewriting Calculus
Su FENG Toshiki SAKABE Yasuyoshi INAGAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/06/25
Vol. E80-D  No. 6 ; pp. 625-645
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
Keyword: 
term rewriting systemsdynamic term rewriting calculusconfluencesimple framewell-constructedness
 Summary | Full Text:PDF(1.3MB)

Mechanizing Explicit Inductive Equational Reasoning by DTRC
Su FENG Toshiki SAKABE Yasuyoshi INAGAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/02/25
Vol. E78-D  No. 2 ; pp. 113-121
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
inductive equational reasoningstructural inductioncover set inductionterm rewriting systemsdynamic term rewriting calculus
 Summary | Full Text:PDF(685.6KB)