Keyword : rewriting induction


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)