| |
L'Enseignement Mathématique, Vol. 16 (1970), pp. 123-152.
|
| |
|
| |
Elementary Set Theory with a Universal Set (1998)
|
| |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction In Lecture Notes in Computer Science, Vol. 2297 (2002), pp. 89-150.
|
| |
|
| |
|
| |
Journal of Applied Logic, Vol. 1, No. 5-6. (October 2003), pp. 309-392.
|
| |
|
| |
|
| |
International Specialist Seminar on the Design and Application of Parallel Digital Processors In International Specialist Seminar on the Design and Application of Parallel Digital Processors (1988), pp. 87-93.
|
| |
|
| |
|
| |
|
| |
In Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge (1986), pp. 341-352.
|
| |
Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1408-1414.
|
| |
Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1382-1393.
|
| |
Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1370-1380.
|
| |
Notices of the American Mathematical Society, Vol. 55, No. 11. (December 2008), pp. 1395-1406.
|
| |
Computer Languages, Vol. 14, No. 3. (1989), pp. 181-191.
|
| |
In Proceedings of a Symposium on Applied Mathematics, Vol. 19 (1967), pp. 19-31.
|
| |
|
| |
The American Mathematical Monthly, Vol. 102, No. 7. (1995), pp. 600-608.
|
| |
Journal of Computer Security, Vol. 1, No. 4. (1992), pp. 385-411.
|
| |
In Proceedings of the 1991 IEEE Symposium on Security and Privacy (1991), pp. 21-34.
|
| |
Theoretical Computer Science, Vol. 50, No. 1. (1987), pp. 1-102.
|
CiteULike
michaelbanks's CiteULike
Search
Export
