Computer Science Monographs
2015200920001999199719961995199419931992
1991199019891988198719861985198419831982
198119801978197619741973197219711970
|
[PRG101] |
FROM Z TO C : ILLUSTRATION OF A RIGOROUS DEYELOPMENT METHOD D.S. Neilson No. PRG101. OUCL. January, 1990. |
|
[PRG90] |
DATA REFINEMENT IN A CATEGORICAL SETTING He Jifeng and C.A.R. Hoare No. PRG90. OUCL. November, 1990. |
|
[PRG89] |
FOUR PIECES ON ERROR‚TRUTH AND REALITY Joseph A. Goguen No. PRG89. OUCL. October, 1990. |
|
[PRG88] |
INVESTIGATIONS INTO THE COMPLEXITY OF SOME PROPOSITIONAL CALCULI Marcello D'Agostino No. PRG88. OUCL. November, 1990. |
|
[PRG87] |
MAINTAINING CONSISTENCY IN DISTRIBUTED DATABASES A.W. Roscoe No. PRG87. OUCL. October, 1990. |
|
[PRG86] |
COLLISION DETECTION BY FOUR−DIMENSIONAL INTERSECTION TESTING Stephen Cameron No. PRG86. OUCL. July, 1990. |
|
[PRG85] |
EFFICIENT INTERSECTION TESTS FOR OBJECTS DEFINED CONSTRUCTIVELY Stephen Cameron No. PRG85. OUCL. July, 1990. |
|
[PRG84] |
CORRECTNESS AND COMMUNICATION IN REAL−TIME SYSTEMS Steve Schneider No. PRG84. OUCL. March, 1990. |
|
[PRG83] |
A MONTE CARLO METHOD FOR IMPLEMENTING MODEL−BASED DIAGNOSTIC PROGRAMS Bryan S. Todd No. PRG83. OUCL. May, 1990. |
|
[PRG81] |
An Algorithm for Type−Checking Z J. N. Reed and J. E. Sinclair No. PRG81. OUCL. 1990. |
|
[PRG79] |
Z AND THE REFINEMENT CALCULUS Steve King No. PRG79. OUCL. February, 1990. |