Papers on Rewriting Systems

Ken Mano and Mizuhito Ogawa
Unique normal form property of compatible term rewriting systems - A new proof of Chew's theorem -
Theoretical Computer Science, Vol.258, No.1-2, pp.169-208, 2001.
abstract pdf
Zurab Khasidashvili, Mizuhito Ogawa, and Vincent van Oostrom
Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems
Information and Computation, Vol.164, No.1, pp.118-151, 2001.
abstract pdf
松浦　邦博、大山口通夫、太田義勝、小川瑞史
非線形TRSのE重なり性について(in Japanese)
電子通信情報学会 D-I 分冊 Vol.80-D-I, No.11, pp.847--855, 1997
abstract pdf
真野健、小川瑞史
高階書き換え系の単一正規形性(in Japanese)
電子通信情報学会 Vol.80-D-I, No.3, pp.258--268, 1997
abstract pdf

Mizuhito Ogawa
Complete Axiomatization of an Algebraic Construction of Graphs
Proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004,
Springer LNCS 2998, pp.163--179.
abstract pdf
Mizuhito Ogawa
Call-by-Need Reductions for Membership Conditional Term Rewriting Systems
The 3rd International Workshop on Rewriting Strategies in Rewriting and Programming, WRS'03,
Electronic Notes in Theoretical Computer Science, Vol.86, No.4, 2003.
abstract pdf
Zurab Khasidashvili, Mizuhito Ogawa, and Vincent van Oostrom
Uniform Normalization beyond Orthogonality,
Proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA2001
Springer LNCS 2051, pp.122--136.
abstract pdf
Zurab Khasidashvili and Mizuhito Ogawa
Perpetuality and Uniform Normalization
Proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP'97
Springer LNCS 1298, pp.240--255.
abstract pdf
Ken Mano and Mizuhito Ogawa
Unique Normal Form Property of Higher-Order Rewriting Systems
Proceedings of the 5th International Conference on Algebraic and Logic Programming, ALP'96
Springer LNCS 1139, pp.269--283.
abstract pdf
Mizuhito Ogawa
Chew's theorem revisited - uniquely normalizing property of non-linear term rewriting systems
Proceedings of the 1st International symposium on algorithms and computation, ISAAC'92
Springer LNCS 620, pp.309-318.
abstract comment pdf

Mizuhito Ogawa
Simple gap termination for term graph rewriting systems
Research report 918, RIMS, Kyoto Univ, Kyoto, pp.99-108, 1995.
abstract comment pdf
Mizuhito Ogawa and Satoshi Ono
On the Uniquely Converging Property of Nonlinear Term Rewriting Systems
IEICE SIGCOMP89-7, 1989.May.18.
abstract comment pdf

Last Modified 2004/4/10 Back to Top.