| |
Distributed Computing, Vol. 6, No. 2. (23 September 1992), pp. 73-93.
|
| |
Archive for Mathematical Logic, Vol. 24, No. 1. (1 December 1984), pp. 1-16.
|
| |
Neural Computing & Applications, Vol. 13, No. 3. (September 2004), pp. 255-260.
|
| |
Social Science Research Network Working Paper Series (12 November 2002)
|
| |
Computers and Informatics, Vol. 22 (2001)
|
| |
Journal of Logic and Computation, Vol. 16 (2005)
|
| |
J. ACM, Vol. 28, No. 4. (October 1981), pp. 721-736.
|
| |
SIGMOD Rec., Vol. 33, No. 2. (June 2004), pp. 78-83.
by Guy Bernard, Jalel Ben-Othman, Luc Bouganim, et al.G&\#233;r&\#244;me Canals, Sophie Chabridon, Bruno Defude, Jean Ferri&\#233;, St&\#233;phane Gan&\#231;arski, Rachid Guerraoui, Pascal Molli, Philippe Pucheral, Claudia Roncancio, Patricia Serrano-Alvarado, Patrick Valduriez
|
| |
Journal of Pure and Applied Algebra, Vol. 139, No. 1-3. (June 1999), pp. 61-88.
|
| |
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.
|
| |
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.
|
| |
Philosophia, Vol. 28, No. 1. (30 June 2001), pp. 319-334.
|
| |
Studia Logica, Vol. 49, No. 3. (1 September 1990), pp. 289-306.
|
| |
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 Jun 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.
|
| |
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)
|
| |
|
Search
