the term orderings which are compatible with composition ii


Autoria(s): Jinwang Liu; Zhuojun Liu; Wang Mingsheng
Data(s)

2003

Identificador

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

http://www.irgrid.ac.cn/handle/1471x/67209

Fonte

Jinwang Liu; Zhuojun Liu; Wang Mingsheng.the term orderings which are compatible with composition ii,Journal of Symbolic Computation,2003,35(2):153-168

Tipo

期刊论文