Archives - Page 17
-
PB-201 A Denotational Semantics for Logic Programming
No. 201 (1985) -
PB-197 An Introduction to High-Level Petri Nets
No. 197 (1985) -
PB-199 Learnability
No. 199 (1985) -
PB-196 Step Change Strategies for Multistep Methods
No. 196 (1985) -
PB-194 Generalizations of Liveness and Fairness Properties
No. 194 (1985) -
PB-193 Formalizations in Systems Development
No. 193 (1985) -
PB-174 Towards Reachability Trees for High-level Petri Nets
No. 174 (1984) -
PB-192 A Conceptual Framework for Programming Languages
No. 192 (1985) -
PB-191 Galleries and Institutions
No. 191 (1985) -
PB-188 On Proving Limited Completeness
No. 188 (1985) -
PB-189 Symmetric Distributed Termination
No. 189 (1985) -
PB-187 Program Development on Graphical Workstations
No. 187 (1984) -
PB-184 Three Approaches to Teaching Software Ergonomics
No. 184 (1984) -
PB-185 Experiments with a Multiprocessor
No. 185 (1984) -
PB-183 Not published
No. 183 (1984) -
PB-177 Kernel Languages
No. 177 (1984) -
PB-182 How Readers Annotate Textbooks and Manuals
No. 182 (1984)