<%@ 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" %>