| |
|
| |
ECOOP 2000 — Object-Oriented Programming (2000), pp. 226-250.
|
| |
Deductive and Object-Oriented Databases (1995), pp. 213-228.
|
| |
J Logic Computation, Vol. 18, No. 4. (1 August 2008), pp. 521-562.
|
| |
Acta Informatica, Vol. 27, No. 6. (1 May 1990), pp. 505-517.
|
| |
Inf. Process. Lett., Vol. 29, No. 1. (1988), pp. 19-23.
|
| |
Foundations of Software Technology and Theoretical Computer Science (1993), pp. 41-51.
|
| |
Theoretical Computer Science, Vol. 272, No. 1-2. (6 February 2002), pp. 315-339.
|
| |
In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007), pp. 167-178.
|
| |
|
| |
|
| |
Vol. 3 (1997), pp. 191-229.
|
| |
In CCS '08: Proceedings of the 15th ACM conference on Computer and communications security (2008), pp. 357-370.
|
| |
|
| |
Journal of Philosophical Logic, Vol. 13, No. 4. (1 November 1984), pp. 373-378.
|
| |
The Journal of Symbolic Logic, Vol. 30, No. 2. (1965), pp. 155-174.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In SSYM'96: Proceedings of the 6th conference on USENIX Security Symposium, Focusing on Applications of Cryptography (1996), pp. 1-1.
|
| |
In Proceedings of the 2001 USENIX Annual Technical Conference (June 2001)
|
| |
|
| |
In Proceedings Computing, the Australian Theory Seminar, CATS'94, Sydney, Australia, 17--19 Dec 1994 (1994)
|
| |
Combinatorica, Vol. 14, No. 4. (1 December 1994), pp. 417-433.
|
| |
In InfoSecCD '05: Proceedings of the 2nd annual conference on Information security curriculum development (2005), pp. 135-138.
|
| |
Journal of Optimization Theory and Applications, Vol. 45, No. 1. (1 January 1985), pp. 41-51.
|
| |
American Economic Review, Vol. 92 (5 December 2000), pp. 1594-1605.
|
| |
SIGPLAN Not., Vol. 8, No. 2. (February 1973), pp. 28-34.
|
| |
In SAICSIT '05: Proceedings of the 2005 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries (2005), pp. 252-259.
|
| |
In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005), pp. 59-70.
|
| |
J. Symb. Comput., Vol. 3, No. 1-2. (1987), pp. 3-38.
|
| |
Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on (1993), pp. 246-249.
|
| |
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 19, No. 3. (May 1997), pp. 427-443.
|
| |
|
| |
|
| |
|
CiteULike
msakai's CiteULike
Search
