| |
Journal of Symbolic Logic, Vol. 72, No. 4. (December 2007), pp. 1318-1322.
|
| |
The Journal of Symbolic Logic, Vol. 56, No. 2. (1991), pp. 700-714.
|
| |
MLQ, Vol. 50, No. 6. (2004), pp. 587-593.
|
| |
MLQ, Vol. 50, No. 6. (2004), pp. 577-586.
|
| |
数理解析研究所講究録, Vol. 1268 (2002), pp. 126-137.
|
| |
|
| |
|
| |
数理解析研究所講究録, Vol. 1217 (2001), pp. 45-60.
|
| |
数理解析研究所講究録 In 数研講究録, Vol. 976 (1997)
|
| |
In Automata, Languages and Programming (2000), pp. 151-162.
|
| |
J. ACM, Vol. 51, No. 2. (2004), pp. 115-138.
|
| |
The Journal of Symbolic Logic, Vol. 50, No. 2. (1985), pp. 423-441.
|
| |
Fundamenta Matematicae, Vol. 171 (2002), pp. 279-292.
|
| |
|
| |
|
| |
Annals of pure and applied logic, Vol. 33
|
| |
Theor. Comput. Sci., Vol. 62, No. 3. (1988), pp. 311-317.
|
| |
Combinatorica, Vol. 24, No. 3. (1 July 2004), pp. 503-524.
|
| |
Acta Informatica, Vol. 27, No. 6. (1 May 1990), pp. 505-517.
|
| |
The Journal of Symbolic Logic, Vol. 44, No. 1. (1979), pp. 33-35.
|
| |
Economic Theory, Vol. 10, No. 2. (18 August 1997), pp. 257-276.
|
| |
Annals of Mathematical Logic, Vol. 21, No. 2-3. (December 1981), pp. 75-219.
|
| |
|
| |
J. ACM, Vol. 24, No. 2. (1977), pp. 332-337.
|
| |
Transactions of the American Mathematical Society, Vol. 117 (1965), pp. 285-306.
|
| |
In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008)
|
| |
Fundamentals of Computation Theory (2005), pp. 149-160.
|
| |
Computer Science Logic (2003), pp. 86-97.
|
| |
Rewriting Techniques and Applications (1991), pp. 445-456.
|
| |
|
| |
|
| |
The Journal of Symbolic Logic, Vol. 30, No. 1. (1965), pp. 28-48.
|
| |
|
| |
|
| |
|
| |
|
| |
Economics Letters, Vol. 74, No. 1. (20 December 2001), pp. 15-19.
|
| |
|
| |
|
| |
|
| |
|
| |
Midwest Studies In Philosophy, Vol. 6, No. 1. (1981), pp. 387-404.
|
| |
Journal of Functional Programming, Vol. 6, No. 02. (1996), pp. 195-244.
|
| |
|
| |
講談社BOOK倶楽部：別冊「本」 RATIO ０６号
|
| |
|
| |
|
| |
|
| |
|
| |
|
Search
