(17 Jun 2008)
(2001)
(3 Aug 2006)
(7 Aug 2008)
Vol. 14 (1997), pp. 79-130.
IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 949-964.
Lecture Notes in Computer Science, Vol. 1536 (1998), pp. 81-102.
Formal Modeling and Analysis of Timed Systems (2006), pp. 128-142.
Lectures on Concurrency and Petri Nets (2004), pp. 87-124.
Programming Languages and Systems (2008), pp. 16-31.
(2008)
Vol. Volume 5133/2008 (2008), pp. 268-283.
Typed Lambda Calculi and Applications (1993), pp. 209-229.
Information and Computation, Vol. 193, No. 1. (25 August 2004), pp. 1-20.
Theoretical Aspects of Computer Software (2001), pp. 459-467.
Functional and Logic Programming (2006), pp. 65-80.
Multiagent and Grid Systems, Vol. 2, No. 4. (2006)
International Journal of Theoretical Physics, Vol. 21, No. 12. (1 December 1982), pp. 905-940.
オペレーションズ・リサーチ : 経営の科学, Vol. 47, No. 7. (1 July 2002), pp. 453-458.
(5 October 2006)
Journal of Philosophical Logic, Vol. 35, No. 4. (2006), pp. 423-434.
Formal Methods at the Crossroads: From Panacea to Foundational Support (2003), pp. 439-453.
J. ACM, Vol. 42, No. 1. (January 1995), pp. 232-268.
Vol. UU-CS-2007-029
Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on (2005), pp. 249-258.
(2006), pp. 48-59.
Theoretical Aspects of Computing - ICTAC 2004 (2005), pp. 341-355.
Philosophia Mathematica, Vol. 2, No. 1. (1 January 1994), pp. 5-15.
情報処理, Vol. 49, No. 6. (15 June 2008), pp. 88-95.
posted to
game by
msakai
on 2008-06-23 16:58:59
as
Archive for Mathematical Logic, Vol. 46, No. 3. (23 April 2007), pp. 281-287.
電子情報通信学会論文誌 D, Vol. J75-D1, No. 2. (20 February 1992), pp. 76-87.
(04 October 2007)
(2001), pp. 203-213.
Annals of Pure and Applied Logic, Vol. 153, No. 1-3. (April 2008), pp. 111-126.
Form. Methods Syst. Des., Vol. 19, No. 1. (July 2001), pp. 7-34.
(2002)
Studia Logica, Vol. 87, No. 2. (10 December 2007), pp. 171-197.
Mathematical Structures in Computer Science, Vol. 11, No. 02. (2001), pp. 207-260.
