Theses & Reports

Instructions for submitting a technical report or thesis.

  • Ph.D. Thesis 1987 A Decision Procedure for a Class of Unquantified Formulae of Set Theory Involving the Powerset and Singleton Operators Cantone, Domenico A. Abstract | PDF
  • Ph.D. Thesis 1987 Tape Reversal and Parallel Time Chen, Jianer Abstract | PDF
  • Ph.D. Thesis 1987 The use of Data Flow Information for the Selection and Evaluation of Software Test Data Frankl, Phyllis G. Abstract | PDF
  • Ph.D. Thesis 1987 Control and Task Planning for a Four Finger Dextrous Manipulator Hor, Maw-Kae Abstract | PDF
  • Ph.D. Thesis 1987 An Analyzer for the Information Content of Sentences (Semantics) Johnson, Stephen Bennett Abstract | PDF
  • Ph.D. Thesis 1987 Description of Shape using Orientation and Propagation Flow Menczel, Yaron Abstract | PDF
  • Ph.D. Thesis 1987 Generic: a Programming Language for Vlsi Layout and Layout Manipulation Solworth, Jon A. Abstract | PDF
  • Ph.D. Thesis 1987 A Theory of Concurrent Programs and Test Data Adequacy Weiss, Stewart Neil Abstract | PDF