<%@ 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 1981
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
<%@ include file="copyright.html" %>
- CS-RR-047
- C.S. Iliopoulos,
Algorithms in the Theory of Integral Binary Quadratic Forms,
September 1, 1981
- CS-RR-038
- A.A. Faustini,
An Operations Semantics for Pure Dataflow,
June 1, 1981
- CS-RR-037
- W.M. Beynon and C.S. Iliopoulos,
Gauss' Algorithm for the Solution of Quadratic Diophantine Equations,
May 1, 1981
- CS-RR-036
- D.M.R. Park,
A Predicate Transformer for Weak Fair Iteration,
May 1, 1981
- CS-RR-035
- D.M.R. Park,
Concurrency and Automata on Infinite Sequences,
May 1, 1981
- CS-RR-034
- W.M. Beynon,
On Raney's Binary Encoding for Continued Fractions, Generalisations of Pell's Equation, and the Theory of Factorisation,
January 1, 1981
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>