• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
基于增强条件公式的主动规则集可终止性判定
熊中敏,赵梦露,黄冬梅
Active rules termination determination
based on enhanced conditional formula         
XIONG Zhongmin,ZHAO Menglu,HUANG Dongmei
计算机工程与科学 . 2014, (01): 163 -168 .