| |
In PPDP '06: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming (2006), pp. 97-108.
|
| |
Fundamentals of Computation Theory (2005), pp. 149-160.
|
| |
Computer Science Logic (2003), pp. 86-97.
|
| |
Rewriting Techniques and Applications (1991), pp. 445-456.
|
| |
In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 37-48.
|
| |
Theor. Comput. Sci., Vol. 195, No. 2. (1998), pp. 205-226.
|
| |
Foundations of Software Science and Computation Structures (2000), pp. 238-251.
|
| |
In CSMR '97: Proceedings of the 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97) (1997), 144.
|
| |
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.
|
| |
In ICSE '06: Proceedings of the 28th international conference on Software engineering (2006), pp. 262-271.
|
| |
In ICSE '09: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (2009), pp. 155-165.
posted to type by keigoi
on 2009-10-08 05:28:22
as 
|
| |
Transactions of the American Mathematical Society, Vol. 177 (1973), pp. 29-36.
|
| |
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.
|
| |
SIGPLAN Not., Vol. 34, No. 5. (1999), pp. 37-49.
|
| |
|
| |
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.
|
| |
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.
|
| |
IEICE technical report. Theoretical foundations of Computing, Vol. 98, No. 283. (19980918), pp. 41-48.
|
| |
Political Science Quarterly, Vol. 88, No. 4. (1973), pp. 761-763.
|
| |
|
| |
F-GENSジャーナル, Vol. 2 (2004-09), pp. 63-69.
|
| |
Journal of humanistic studies (1979/03)
|
| |
PLoS Comput Biol, Vol. 5, No. 8. (28 August 2009), e1000486.
|
| |
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.
|
| |
In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 39, No. 10. (October 2004), pp. 331-344.
|
| |
History and Technology, Vol. 22, No. 1. (March 2006), pp. 27-52.
|
| |
The Journal of Symbolic Logic, Vol. 54, No. 2. (1989), pp. 474-489.
|
| |
IEICE technical report. WBS, Wideband System, Vol. 105, No. 665. (20060309), pp. 111-115.
|
| |
|
| |
|
Search
