Theses & Reports

Instructions for submitting a technical report or thesis.

You can find technical reports published prior to 1990 archived here.

  • Ph.D. Thesis 1982 Decision Algorithms for a Class of Set-Theoretic Formulae Involving One Occurrence of the Union-Set Operator Breban, Michael Abstract | PDF
  • Ph.D. Thesis 1982 The Role of the High Level Specification in Programming by Transformation: Specification and Transformation by Parts Merritt, Susan Mary Abstract | PDF
  • Ph.D. Thesis 1982 Software Structures for Ultraparallel Computing Rudolph, Lawrence S. Abstract | PDF