%@ page language="java" contentType="text/html" %>
<%-- Include common initialisation code --%>
<%@ include file="/arch/common.jsp" %>
<%-- The current tab --%>
<% String currentTab = "Research"; %>
<%-- Content of navigation pane --%>
<%@ include file="nav.jsp" %>
<% showCurrentLink=true; %>
<%-- Current navigation location --%>
<% String currentNav = "Reports and Theses"; %>
<%-- Include the code for the document header --%>
<%@ include file="/arch/header.jsp" %>
Research Reports 1983
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
<%@ include file="copyright.html" %>
- CS-RR-137
- D.M.R. Park,
Essential and Ephemeral Knowledge,
November 1, 1983
- CS-RR-057
- I. Parberry,
Some Practical Simulations of Impractical Parallel Computers,
December 1, 1983
- CS-RR-056
- A.A. Yaghi,
The Compilation of Functional Language into Intensional Logic,
December 1, 1983
- CS-RR-055
- P.E. Dunne,
Improved Upper Bounds on the Area Required to Embed Arbitrary Graphs,
December 1, 1983
- CS-RR-054
- W.M. Beynon,
A Definition of the ARCA Notation,
September 1, 1983
- CS-RR-052
- I. Parberry,
Some Processor-Saving Theorems for Synchronous Parallel Computers,
October 1, 1983
- CS-RR-051
- D.E. Daykin, J.W. Daykin and M.S. Paterson,
On Log Concavity for Order-Preserving and Order-non-Reversing Maps of Partial Orders,
May 1, 1983
- CS-RR-050
- C.S. Iliopoulos,
Worst-Case Complexity Bounds on Algorithms for Computing the Canonical Structure of Infinite Abelian Groups and Solving Systems of Linear Diophantine Equations,
April 1, 1983
- CS-RR-049
- C.S. Iliopoulos,
Worst-case Complexity Bounds on Algorithms for Computing the Canonical Structure of Finite Abelian Groups and the Hermite and Smith Normal Forms of an Integer Matrix,
April 1, 1983
- CS-RR-048
- I. Parberry and L.M. Goldschlager,
On the Construction of Parallel Computers from Various Bases of Boolean Functions,
March 1, 1983
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>