Computer Science Monographs
2015200920001999199719961995199419931992
1991199019891988198719861985198419831982
198119801978197619741973197219711970
|
[PRG82] |
A FUNCTIONAL DATABASE Phil Trinder No. PRG82. OUCL. December, 1989. |
|
[PRG80] |
ORDER−SORTED ALGEBRA I: EQUATIONAL DEDUCTION FOR MULTIPLE INHERITANCE‚ OVERLOADING‚ EXCEPTIONS AND PARTIAL OPERATIONS Joseph A. Goguen and Jose Meseguer No. PRG80. OUCL. December, 1989. |
|
[PRG78] |
Laws of the Logical Calculi Carroll Morgan and J. W. Sanders No. PRG78. OUCL. September, 1989. |
|
[PRG77] |
INDEXED CATEGORIES AS A TOOL FOR THE SEMANTICS OF COMPUTATION Andnej Tarlecki‚ Rod Burstall and Joseph Goguen No. PRG77. OUCL. August, 1989. |
|
[PRG76] |
THE REWRITE RULE MACHINE‚ 1988 Joseph Goguen‚ Sany Leinwand and Jose Meseguerand Timothy Winkler No. PRG76. OUCL. August, 1989. |
|
[PRG75] |
AN INTRODUCTION TO TIMED CSP Jim Davies and Steve Schneider No. PRG75. OUCL. August, 1989. |
|
[PRG74] |
FORMAL SPECIFICATION OF WINDOW SYSTEMS Jonathan Bowen No. PRG74. OUCL. June, 1989. |
|
[PRG73] |
Combinator Graph Reduction:A Congruence and its Applications David Lester No. PRG73. OUCL. April, 1989. |
|
[PRG72] |
A CATEGORICAL MANIFESTO Joseph A. Goguen No. PRG72. OUCL. March, 1989. |
|
[PRG71] |
A Formal Model through Homogeneity Theory of Adaptive Reasoning Roberto Garigliano and Derek Long No. PRG71. OUCL. February, 1989. |