| |
IEEE Annals of the History of Computing, Vol. 28, No. 3. (2006), pp. 62-75.
|
| |
|
| |
Journal of Computer and System Sciences, Vol. 63, No. 2. (September 2001), pp. 201-221.
|
| |
Foundations of Physics, Vol. 32, No. 7. (7 July 2002), pp. 1141-1157.
|
| |
|
| |
|
| |
Journal of Statistical Physics, Vol. 109, No. 3. (1 November 2002), pp. 863-873.
|
| |
|
| |
|
| |
In ICFP '07: Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming (2007), pp. 85-96.
|
| |
|
| |
|
| |
Annals of Mathematics and Artificial Intelligence, Vol. 47, No. 3-4. (August 2006), pp. 295-328.
|
| |
|
| |
|
| |
|
| |
J. Algorithms, Vol. 11, No. 4. (December 1990), pp. 644-654.
|
| |
|
| |
|
| |
In ISSAC '03: Proceedings of the 2003 international symposium on Symbolic and algebraic computation (2003), pp. 37-44.
|
| |
Automatica, Vol. 36, No. 9. (2000), pp. 1249-1274.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Theor. Comput. Sci., Vol. 350, No. 2. (February 2006), pp. 292-324.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Conference on Automated Deduction (1999), pp. 82-96.
|
| |
|
| |
In IJCAI (1995), pp. 1162-1168.
|
| |
J. ACM, Vol. 19, No. 1. (January 1972), pp. 158-174.
|
| |
|
| |
Theoretical Computer Science, Vol. 9, No. 1. (July 1979), pp. 73-81.
|
| |
J. Comput. Syst. Sci., Vol. 32, No. 3. (June 1986), pp. 374-392.
|
| |
In Complexity, Logic, and Recursion Theory, Marcel Dekker, Inc. (1997)
|
| |
In Symposium on Principles of Programming Languages (1998), pp. 303-315.
|
| |
|
| |
J. ACM, Vol. 50, No. 1. (January 2003), pp. 100-105.
|
| |
|
| |
Complex., Vol. 3, No. 6. (July 1998), pp. 33-38.
|
| |
|
| |
In SAC '05: Proceedings of the 2005 ACM symposium on Applied computing (2005), pp. 1449-1453.
|
| |
|
Search
