University of Manchester Computer Science Publications

http://www.cs.man.ac.uk/csonly/cstechrep/index.html

The University of Manchester Computer Science Publications page provides access to the departments publications from 1986 to the present. The page gives abstracts of the technical reports, that are available in PostScript, include A Proof System for a sequential Object-Based Language, Variable Delay Timing Analysis of Logic Circuits, and A Reified Temporal Logic for Nonlinear Planning. There are links to other University of Manchester publications and technical publications on line.

Go Back