| |
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 281-292.
|
| |
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 50-63.
|
| |
In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation (1998), pp. 130-141.
|
| |
In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, Vol. 33, No. 5. (May 1998), pp. 224-235.
|
| |
Software Engineering, International Conference on, Vol. 0 (2009), pp. 595-598.
posted to diff by msakai
on 2009-10-29 15:57:29
as 
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2009), pp. 174-177.
|
| |
|
| |
Static Analysis (2009), pp. 36-51.
|
| |
Handbook of the history of general topology, Vol. 1, pp. 31-40.
|
| |
Rendiconti del Circolo Matematico di Palermo (1884 - 1940), Vol. 30, No. 1. (1 December 1910), pp. 1-26.
|
| |
Rendiconti del Circolo Matematico di Palermo (1884 - 1940), Vol. 22, No. 1. (1 December 1906), pp. 1-72.
|
| |
Acta Litt. ac. sci. Szeged, Vol. 3 (1927), pp. 121-130.
|
| |
Transactions of the American Mathematical Society, Vol. 177 (1973), pp. 29-36.
|
| |
In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation (1999), pp. 259-269.
|
| |
|
| |
MLQ, Vol. 48, No. 1. (2002), pp. 93-104.
|
| |
Commun. ACM, Vol. 5, No. 10. (1962), 526.
|
| |
J. ACM, Vol. 9, No. 2. (April 1962), pp. 222-239.
|
| |
J. ACM, Vol. 14, No. 3. (1967), pp. 490-500.
|
| |
|
| |
Journal of the American Oriental Society, Vol. 76, No. 1. (1956), pp. 1-23.
|
| |
In Proceedings of the International Conference on Information Processing, UNESCO, Paris, June (1959), pp. 15-20.
|
| |
Computer Science Logic (2004), pp. 160-174.
|
| |
In IEEE Conference Record of 9th Annual Symposium on Switching and Automata Theory, 1968. (1968), pp. 278-286.
|
| |
IEEE Transactions on Computers (1968)
|
| |
|
| |
Physics of Fluids, Vol. 1, No. 4. (1958), 265.
|
| |
Journal of Scientific Instruments, Vol. 33, No. 12. (1956), pp. 495-499.
|
| |
東芝レビュー, Vol. 64, No. 8. (August 2009), pp. 20-23.
|
| |
IEICE technical report. Theoretical foundations of Computing, Vol. 98, No. 283. (19980918), pp. 41-48.
|
| |
J. ACM, Vol. 11, No. 4. (October 1964), pp. 481-494.
|
| |
Theor. Comput. Sci., Vol. 249, No. 1. (October 2000), pp. 3-80.
|
| |
Political Science Quarterly, Vol. 88, No. 4. (1973), pp. 761-763.
|
| |
|
| |
In Abstracts of the 5th International Planning Competition (2006)
|
| |
F-GENSジャーナル, Vol. 2 (2004-09), pp. 63-69.
|
| |
Journal of humanistic studies (1979/03)
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 152-152.
|
| |
K.G. studies in computer science, Vol. 22 (20080300), pp. 3-22.
|
| |
In The 21st Annual Conference of The Japanese Society for Artificial Intelligence (JSAI2007)
|
| |
人工知能学会誌, Vol. 16, No. 5. (20010901), pp. 642-647.
|
| |
The Journal of Symbolic Logic, Vol. 36, No. 3. (1971), pp. 494-508.
|
| |
|
| |
|
| |
|
| |
Computational Aspects of General Equilibrium Theory (2008), pp. 1-10.
|
| |
History of Political Economy, Vol. 38, No. Suppl_1. (1 January 2006), pp. 228-245.
|
| |
Rethinking Popper (2009), pp. 135-154.
|
| |
The Journal of Political Economy, Vol. 54, No. 5. (1946), 463.
|
| |
Semantics of Data Types (1984), pp. 301-315.
|
Search
