| |
|
| |
In FOCS '96: Proceedings of the 37th Annual Symposium on Foundations of Computer Science (1996)
|
| |
|
| |
The Journal of Finance, Vol. 61, No. 5. (October 2006), pp. 2187-2217.
|
| |
Theor. Comput. Sci., Vol. 350, No. 2. (February 2006), pp. 292-324.
|
| |
The Bulletin of Symbolic Logic, Vol. 3, No. 4. (1997), pp. 401-452.
|
| |
|
| |
|
| |
|
| |
In IEA/{AIE} (Vol. 1) (1998), pp. 408-417.
|
| |
|
| |
|
| |
|
| |
The Bulletin of Symbolic Logic, Vol. 3, No. 4. (1997), pp. 401-452.
|
| |
|
| |
In CRPIT '03: Selected papers from conference on Computers and philosophy (2003), pp. 51-58.
|
| |
|
| |
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 2049 (2001), pp. 230-??.
|
| |
|
| |
Empirical Software Engineering, Vol. 11, No. 1. (March 2006), pp. 5-31.
|
| |
|
| |
|
| |
|
| |
In AI*{IA} (1991), pp. 48-57.
|
| |
In TARK '03: Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge (2003), pp. 131-144.
|
| |
|
| |
|
| |
Theoretical Computer Science
|
| |
J.UCS: Journal of Universal Computer Science, Vol. 2, No. 5. (1996), pp. 311-346.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Artificial General Intelligence, No. IDSIA-01-03. (2003)
|
| |
|
| |
|