Masahito KURIHARA


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)

Electrochromic Thin Film of Water-Dispersible Prussian-Blue Nanoparticles
Ayako OMURA Hirofumi SHIOZAKI Shigeo HARA Tohru KAWAMOTO Akihito GOTOH Masahito KURIHARA Masaomi SAKAMOTO Hisashi TANAKA 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 2008/12/01
Vol. E91-C  No. 12  pp. 1887-1888
Type of Manuscript:  Special Section LETTER (Special Section on The Forefront of 21st Century Organic Molecular Electronics)
Category: Materials & Devices
Keyword: 
Prussian-bluenanoparticleelectrochromismthin filmelectrochemical quartz crystal microbalance (EQCM)
 Summary | Full Text:PDF(209.8KB)

Supporting Refactoring Activities Using Histories of Program Modification
Shinpei HAYASHI Motoshi SAEKI Masahito KURIHARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/04/01
Vol. E89-D  No. 4  pp. 1403-1412
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
refactoringsoftware development environmentmodification historypattern matching
 Summary | Full Text:PDF(825.5KB)

Decomposable Termination of Composable Term Rewriting Systems
Masahito KURIHARA Azuma OHUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/04/25
Vol. E78-D  No. 4  pp. 314-320
Type of Manuscript:  PAPER
Category: Algorithm and Computational Complexity
Keyword: 
term rewriting systemterminationmodularityalgebraic specificationautomated reasoning
 Summary | Full Text:PDF(580.9KB)

Termination of the Direct Sum of Rpo-Terminating Term Rewriting Systems
Masahito KURIHARA Ikuo KAJI 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1988/10/25
Vol. E71-E  No. 10  pp. 975-977
Type of Manuscript:  LETTER
Category: Automaton, Language and Theory of Computing
Keyword: 
 Summary | Full Text:PDF(192.1KB)