Browsing Department of Computer Science Technical Reports: up to 1999 by Title
Now showing items 40-59 of 86
-
A note on representation and semantics in logical frameworks
(2013-12-02) -
A Note on the Proof Theory of the λπ- Calculus
(2013-12-09) -
Parallel Planning for Robot Motion
(2013-12-09) -
Parallel Process Techniques for 3D Model-Based Vision
(2013-12-09) -
Parallel Processing For Schema Evolution in Database Systems
(2013-12-04) -
Parallel Search in KL1
(2013-12-02) -
Parametricity and Mulry's Strong Dinaturality
(2013-11-27) -
PhD thesis: Data-parallel lazy functional programming
(2013-12-04) -
Practical Reasoning and Rationality
(2013-12-02) -
Precomputed visibility ordering for a constrained viewpoint
(2013-12-04) -
Presenting the Lazy Evaluation of Functions
(2013-12-02)