| |
Theor. Comput. Sci., Vol. 350, No. 2. (February 2006), pp. 252-274.
|
| |
In Categories in Computer Science and Logic, Vol. 92 (1989), pp. 69-108.
|
| |
|
| |
Inf. Comput., Vol. 163, No. 2. (2000), pp. 285-408.
|
| |
Computer Science Logic In Computer Science Logic, Vol. 832 (1994), pp. 66-77.
|
| |
Mathematical. Structures in Comp. Sci., Vol. 15, No. 4. (2005), pp. 615-646.
|
| |
In CSL '02: Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic (2002), pp. 427-441.
|
| |
Mathematical. Structures in Comp. Sci., Vol. 8, No. 6. (1998), pp. 559-591.
|
| |
In CSL '02: Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic (2002), pp. 442-457.
|
| |
In Workshop on Advanced Separation of Concerns, OOPSLA 2000 (2000)
|
| |
Annals of Pure and Applied Logic, Vol. 51, No. 1-2. (14 March 1991), pp. 125-157.
|
| |
In Research directions in concurrent object-oriented programming (1993), pp. 257-280.
|
| |
|
| |
|
| |
Advances in Mathematics (China), Vol. 35, No. 1. (19 Jan 2006), pp. 1-44.
|
| |
|
| |
In OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applications (1991), pp. 212-229.
|
| |
|
| |
25 Years of Non-Equilibrium Statistical Mechanics (1995), pp. 1-20.
|
| |
|
| |
|
| |
Theor. Comput. Sci., Vol. 227, No. 1-2. (1999), pp. 249-273.
|
| |
|
| |
In Proceedings of the workshop on Advances in linear logic (1995), pp. 1-42.
|
| |
Mathematical. Structures in Comp. Sci., Vol. 11, No. 3. (2001), pp. 301-506.
|
| |
The Bulletin of Symbolic Logic, Vol. 9, No. 2. (2003), pp. 131-168.
|
| |
In Computational Logic (1999), pp. 215-272.
|
| |
|
| |
In Proceedings of the workshop on Advances in linear logic (1995), pp. 225-247.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 162 (29 September 2006), pp. 37-41.
|
| |
|
| |
|
| |
In Interactive Logic, Vol. 1 (2007), pp. 11-48.
|
| |
In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 81-94.
|
| |
In ICALP '90: Proceedings of the 17th International Colloquium on Automata, Languages and Programming (1990), pp. 167-180.
|
| |
Theor. Comput. Sci., Vol. 111, No. 1-2. (1993), pp. 3-57.
|
| |
|
| |
Theor. Comput. Sci., Vol. 50, No. 1. (January 1987), pp. 1-102.
|
| |
|
| |
|
| |
|
| |
Computer Science Today (1995), pp. 471-485.
|
| |
|
| |
Journal of the ACM, Vol. 50, No. 5. (01 September 2003), pp. 752-794.
|
| |
Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics In Quantum Information and Computation, Vol. 34, No. 3. (September 2003), pp. 501-510.
|
| |
Maximum-Entropy and Bayesian Methods in Science and Engineering, Vol. 1 (1988), 267.
|
| |
Artificial Intelligence, Vol. 21, No. 1-2. (March 1983), pp. 61-98.
|
| |
Artificial Intelligence, Vol. 21, No. 1-2. (March 1983), pp. 31-59.
|
| |
Artificial Intelligence, Vol. 19, No. 2. (October 1982), pp. 189-249.
|
CiteULike
robotact's CiteULike
Search
