http://reply.papertrans.cn/3/215/21496/21496-11.png
http://reply.papertrans.cn/3/215/21496/21496-12.png
http://reply.papertrans.cn/3/215/21496/21496-13.png
http://reply.papertrans.cn/3/215/21496/21496-14.png
http://reply.papertrans.cn/3/215/21496/21496-15.png
Submitted on: 06 March 2005.
Revised on: 20 March 2005.
Accepted on: 25 March 2005.
Mathematics in Computer Science
Submitted on: 22 May 2006.
Revised on: 17 June 2006.
Accepted on: 08 July 2006.
Mathematics in Computer Science
http://reply.papertrans.cn/3/215/21496/21496-18.png
http://reply.papertrans.cn/3/215/21496/21496-19.png
http://reply.papertrans.cn/3/215/21496/21496-20.png