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.ubc.ca.