http://reply.papertrans.cn/3/211/21023/21023-21.png
http://reply.papertrans.cn/3/211/21023/21023-22.png
Submitted on: 23 February 1999.
Revised on: 28 March 1999.
Accepted on: 08 April 1999.
Logical Methods in Computer Science
Submitted on: 30 June 2009.
Revised on: 04 August 2009.
Accepted on: 11 August 2009.
Logical Methods in Computer Science
http://reply.papertrans.cn/3/211/21023/21023-25.png
Submitted on: 17 November 2019.
Revised on: 28 November 2019.
Accepted on: 08 December 2019.
Logical Methods in Computer Science
http://reply.papertrans.cn/3/211/21023/21023-27.png
Submitted on: 11 June 2015.
Revised on: 17 July 2015.
Accepted on: 24 July 2015.
Logical Methods in Computer Science
Submitted on: 11 January 1998.
Revised on: 14 February 1998.
Accepted on: 28 February 1998.
Logical Methods in Computer Science
http://reply.papertrans.cn/3/211/21023/21023-30.png