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

<%-- Include the code for the lines and navigation --%> <%@ include file="/arch/middle.jsp" %> <%@ include file="copyright.html" %>
CS-RR-046
W.W. Wadge, Classified Algebras, October 1, 1982
CS-RR-045
W.W. Wadge, Introduction to the Baire Space, October 1, 1982
CS-RR-044
W.W. Wadge, Reducibility and Determinateness on the Baire Space, October 1, 1982
CS-RR-043
F. Golshani, Varqa - A Functional Query Language Based on an Algebraic Approach and Conventional Mathematical Notation, August 1, 1982
CS-RR-042
W.M. Beynon, Coset Enumeration as Closure Computation, September 1, 1982
CS-RR-041
A.A. Faustini, The Equivalence of an Operational and a Denotational Semantics for Pure Dataflow, June 1, 1982
CS-RR-040
C.S. Iliopoulos, On the Computation of the Structure of an Abelian Group Represented by a Set of Defining Relations, May 1, 1982
CS-RR-039
C.S. Iliopoulos, Composition and Characters of Binary Quadratic Forms, January 1, 1982
<%-- Include the code for the document footer --%> <%@ include file="/arch/footer.jsp" %>