Computer Science Monographs
2015200920001999199719961995199419931992
1991199019891988198719861985198419831982
198119801978197619741973197219711970
|
[PRG97] |
Formal Aspects of Human−Computer Interaction Gregory D. Abowd No. PRG97. OUCL. June, 1991. |
|
[PRG94] |
Algebras for Tree Algorithms Jeremy Gibbons No. PRG94. OUCL. September, 1991. |
|
[PRG93] |
Specification and Proof in Real−Time Systems Jim Davies No. PRG93. OUCL. April, 1991. |
|
[PRG92] |
THE LOGIC OF B P.H.B Gardiner and T.N. Vickers No. PRG92. OUCL. January, 1991. |
|
[PRG91] |
COLLECTING BUTTERFLIES Geraint Jones and Mary Sheeran No. PRG91. OUCL. February, 1991. |