Technical Reports

The ICICS/CS Reading Room


1977 UBC CS Technical Report Titles

TR-77-01
On the Invariance of the Interpolation Points of the Discrete l1-approximation
Uri Ascher

TR-77-02
On Reading Sketch Maps
A. K. Mackworth

TR-77-03
Computers and the Mechanication of Judgement
A. Mowshowitz

TR-77-04
A New Notation for Derivations
J. L Baker

TR-77-05
Lexic Scanners
R. A. Fraley

TR-77-06
Unlanguage Grammars and Their Uses
R. A. Fraley

TR-77-07
Simulation in a Theory of Programmable Machines
J. L. Baker

TR-77-08
Coroutines in a Theory of Programmable Machines
J. L. Baker

TR-77-09
FUNL Semantics Work Towards UNCOL
R. A. Fraley

TR-77-10
A Simulation Study of Adaptive Scheduling Policies in Interactive Computer Systems
Samuel T. Chanson and C. Bishop

TR-77-11
Duals of Intuitionistic Tableaus
G. Criscuolo and R. Tortora

TR-77-12
Assaulting the Tower of Babel: Experiences with a Translator Writing System
Harvey Abramson, W. F. Appelbe and M. S. Johnson

TR-77-13 (Abstract not available on-line)
A Collocation Solver for Mixed Order Systems of BVP's
Uri Ascher, J. Christiansen and R. D. Russell

TR-77-14
Evaluation of B-splines for Solving Systems of Boundary Value Problems
Uri Ascher and R. D. Russell

TR-77-15 (Abstract not available on-line)
Deductive Question-Answering on Relational Databases
R. Reiter

TR-77-16
On Closed World Data Bases
R. Reiter

TR-77-18
Some Connections Between the Minimal Polynomial and the Automorphism
A. Mowshowitz, G. Criscuolo, R. Tortora, Chung Kwok and Mo

TR-77-19
Topics in Discourse Analysis
J. E. Davidson

TR-77-20
On the Separation of Two Matrices
Jim M. Varah


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