<%@ 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 1975
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
<%@ include file="copyright.html" %>
- CS-RR-009
- M.B. Smyth,
Effectively Giving Domains,
June 1, 1975
- CS-RR-008
- L.G. Valiant and M.S. Paterson,
Circuit Size is Nonlinear in Depth,
September 1, 1975
- CS-RR-007
- W.F. McColl and M.S. Paterson,
The Depth of All Boolean Functions,
August 1, 1975
- CS-RR-006
- A. Schonhage, M.S. Paterson and N. Pippenger,
Finding the Median,
April 1, 1975
- CS-RR-005
- W.W. Wadge,
A Complete Natural Deduction System for the Relational Calculus,
March 1, 1975
- CS-RR-004
- E.A. Ashcroft and W.W. Wadge,
Program Proving Without Tears,
January 1, 1975
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>