%0 Journal Article
%T sld-博弈树中计算规则的独立性
%A 周生炳？
%J 软件学报
%P 798-800
%D 1997
%X 本文提出sld-博弈树的成功集的概念，证明对任何计算规则r，对应r产的sld-博弈树的成功集相同，即sld-博弈树的证明能力与计算规则无关，这就是计算规则的独立性．
%K 标记逻辑程序
%K sld-博弈树
%K 计算规则的独立性
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19971012&flag=1