Submitted on: 21 April 2019.
Revised on: 12 May 2019.
Accepted on: 24 May 2019.
Logical Methods in Computer Science
http://reply.papertrans.cn/3/211/21024/21024-22.png
Submitted on: 11 December 1998.
Revised on: 18 January 1999.
Accepted on: 11 February 1999.
Logical Methods in Computer Science
Submitted on: 25 April 2003.
Revised on: 05 June 2003.
Accepted on: 01 July 2003.
Logical Methods in Computer Science
Submitted on: 16 March 2023.
Revised on: 05 April 2023.
Accepted on: 11 April 2023.
Logical Methods in Computer Science
http://reply.papertrans.cn/3/211/21024/21024-26.png
Submitted on: 08 April 2011.
Revised on: 05 May 2011.
Accepted on: 25 May 2011.
Logical Methods in Computer Science
Submitted on: 10 June 2023.
Revised on: 30 June 2023.
Accepted on: 21 July 2023.
Logical Methods in Computer Science
Submitted on: 14 December 2011.
Revised on: 14 January 2012.
Accepted on: 10 February 2012.
Logical Methods in Computer Science
http://reply.papertrans.cn/3/211/21024/21024-30.png