Technical Reports

The ICICS/CS Reading Room


1983 UBC CS Technical Report Titles

TR-83-01
Formalizing Non-Monotonic Reasoning Systems
David W. Etherington

TR-83-02
Data Types as Term Algebras
Akira Kanda and Karl Abrahamson

TR-83-03
Numeration Models of $\lambda$-Calculus
Akira Kanda

TR-83-04
On the Complexity of Achieving K-Consistency
Raimund Seidel

TR-83-05
A Linear Algorithm for Determining the Separation of Convex Polyhedra
David P. Dobkin and David G. Kirkpatrick

TR-83-06 (Abstract not available on-line)
(g,f) - Factors \& Packings, When g P. Hell and David G. Kirkpatrick

TR-83-07
Marriage Before Conquest: A Variation on the Divide \& Conquer Paradigm
David G. Kirkpatrick and Raimund Seidel

TR-83-08
A Prological Definition of HASL, a Purely Functional Language with Unification Based Expressions
Harvey Abramson

TR-83-09 (Abstract not available on-line)
R-Maple: A Concurrent Programming Language Based on Predicate Logic, Part I: Syntax \& Computation
Paul J. Voda

TR-83-10
A Fast Data Compression Method
Samuel T. Chanson and Jee Fung Pang

TR-83-11
A Sound and Sometimes Complete Query Evaluation Algorithm for Relational Databases with Null Values
Raymond Reiter

TR-83-12
Acceptable Numerations of Function Spaces
Akira Kanda


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.