| |
Royal Society of London Philosophical Transactions Series A, Vol. 312 (October 1984), pp. 501-518.
|
| |
|
| |
In Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School (1993)
|
| |
Oikos, Vol. 116, No. 5. (May 2007), pp. 723-727.
|
| |
Parallel and Distributed Systems, IEEE Transactions on, Vol. PP, No. 99. (07 August 2009), pp. 1-1.
|
| |
Embedded Software (2003), pp. 134-155.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 16, No. 3. (1994), pp. 872-923.
|
| |
Computer Physics Communications (14 October 2009)
|
| |
ACM Comput. Surv., Vol. 18, No. 2. (June 1986), pp. 197-222.
|
| |
Fundam. Inf., Vol. 46, No. 3. (August 2001), pp. 187-197.
|
| |
J. ACM, Vol. 34, No. 2. (1987), pp. 450-479.
|
| |
Social Science Research Network Working Paper Series (12 November 2002)
|
| |
Distributed Computing, Vol. 10, No. 4. (4 July 1997), pp. 199-225.
|
| |
In TARK '96: Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge (1996), pp. 15-30.
|
| |
|
| |
In POPL '86: Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1986), pp. 140-149.
|
| |
In AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systems (2003), pp. 201-208.
|
| |
Distributed Computing, Vol. 6, No. 2. (23 September 1992), pp. 73-93.
|
| |
Philosophia, Vol. 28, No. 1. (30 June 2001), pp. 319-334.
|
| |
Studia Logica, Vol. 49, No. 3. (1 September 1990), pp. 289-306.
|
| |
|
| |
Computers and Informatics, Vol. 22 (2001)
|
| |
The Review of Symbolic Logic, Vol. 1, No. 01. (2008), pp. 16-41.
|
| |
|
| |
Theory Culture Society, Vol. 23, No. 2-3. (1 May 2006), pp. 94-95.
|
| |
Structures in Logic and Computer Science (1997), pp. 66-83.
|
| |
Programming Languages and Systems (2004), pp. 219-233.
|
| |
|
| |
ArXiv e-prints (6 March 2009)
|
| |
|
| |
In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144.
|
| |
Fuzzy Sets and Systems, Vol. 160, No. 8. (16 April 2009), pp. 1141-1151.
|
| |
Journal of Logic and Computation, Vol. 16 (2005)
|
| |
American Philosophical Quarterly, Vol. 1, No. 4. (1964), pp. 288-306.
|
| |
Commun. ACM, Vol. 52, No. 6. (2009), pp. 56-65.
by Rakesh Agrawal, Anastasia Ailamaki, Philip A. Bernstein, et al.Eric A. Brewer, Michael J. Carey, Surajit Chaudhuri, Anhai Doan, Daniela Florescu, Michael J. Franklin, Hector G. Molina, Johannes Gehrke, Le Gruenwald, Laura M. Haas, Alon Y. Halevy, Joseph M. Hellerstein, Yannis E. Ioannidis, Hank F. Korth, Donald Kossmann, Samuel Madden, Roger Magoulas, Beng C. Ooi, Tim O'Reilly, Raghu Ramakrishnan, Sunita Sarawagi, Michael Stonebraker, Alexander S. Szalay, Gerhard Weikum
|
| |
Logic Jnl IGPL, Vol. 17, No. 5. (1 October 2009), pp. 489-497.
|
| |
Annals of Pure and Applied Logic (08 October 2009)
|
| |
PODC '04: Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing In PODC '04: Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing (2004), pp. 31-39.
|
| |
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on In Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on (2005), pp. 507-516.
|
| |
ASWEC '00: Proceedings of the 2000 Australian Software Engineering Conference In ASWEC '00: Proceedings of the 2000 Australian Software Engineering Conference (2000), pp. 189-201.
|
| |
|
| |
ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576.
|
| |
Logic in Computer Science, Symposium on In Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on, Vol. 0 (2004), pp. 286-295.
|
| |
|
| |
In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000)
|
| |
|
| |
In Conference Record of the 1980 LISP Conference, Stanford University (1980)
|
| |
|
| |
Nature Nanotechnology, Vol. 4, No. 10. (02 August 2009), pp. 642-648.
|
| |
Theor. Comput. Sci., Vol. 249, No. 1. (October 2000), pp. 3-80.
|
