enhancing global sls-resolution with loop cutting and tabling mechanisms

Autoria(s): Shen Yidong; Jia-Huai You; Li-Yan Yuan
Data(s)

2004
Identificador

http://ir.iscas.ac.cn/handle/311060/4546

http://www.irgrid.ac.cn/handle/1471x/66906
Fonte

Shen Yidong; Jia-Huai You; Li-Yan Yuan.enhancing global sls-resolution with loop cutting and tabling mechanisms,Theoretical Computer Science,2004,328(3):271-287
Tipo

期刊论文
Acesso ao item digital