Technical reports / Unrefereed manuscripts
石黒雄輔、小川瑞史
連想計算エンジン GETA を用いたスパム判別(改訂版)
日本ソフトウェア科学会第25回大会
4B-2, 2008.9.11.
Mizuhito Ogawa
Simple gap termination for term graph rewriting systems
Research report 918, RIMS, Kyoto Univ, Kyoto, pp.99-108, 1995.
comment
Mizuhito Ogawa and Satoshi Ono
On the Uniquely Converging Property of Nonlinear Term Rewriting Systems
IEICE SIGCOMP89-7, 1989.May.18.
comment
Last Modified 2008/10/30
Back to Top.