Computer Science Monographs
2015200920001999199719961995199419931992
1991199019891988198719861985198419831982
198119801978197619741973197219711970
|
[PRG118] |
SEMANTICS OF NON−TERMINATING REWRITE SYSTEMS USING MINIMAL COVERINGS Jose Barros and Joseph Goguen No. PRG118. OUCL. 1995. |
|
[PRG117] |
MODULE COMPOSITION AND SYSTEM DESIGN FOR THE OBJECT PARADIGM Joseph A. Goguen and Adolfo Socorro No. PRG117. OUCL. January, 1995. |