UMCS Technical Reports 1990
- UMCS-90-10-1
- Indexed
Categories for Program Development.
B. Hilken and D. E. Rydeheard.
- UMCS-90-9-1
- The Random
Matrix Hashing Algorithm.
Behnam Banieqbal and Steve Hilditch.
- UMCS-90-8-2
- Distributed
Binding Mechanisms in the Flagship System.
J. A. Keane.
- UMCS-90-8-1
- Distributed
Relational Queries: Structures for Locking and
Access.
Steve Hilditch and Tom Thomson.
- UMCS-90-3-1
- On the usability
of logics which handle partial functions.
J. H. Cheng and C. B. Jones.
- UMCS-90-2-1
- The Flagship
Declarative System.
J. A. Keane.
- UMCS-90-1-1
- Modularizing the
Formal Description of a Database System.
John S. Fitzgerald and Cliff B Jones.