Arkiver - Side 17

• PB-201 A Denotational Semantics for Logic Programming

  Nr. 201 (1985)

• PB-197 An Introduction to High-Level Petri Nets

  Nr. 197 (1985)

• PB-199 Learnability

  Nr. 199 (1985)

• PB-200 Problem-heap: A Paradigm for Multiprocessor Algorithms

  Nr. 200 (1985)

• PB-196 Step Change Strategies for Multistep Methods

  Nr. 196 (1985)

• PB-194 Generalizations of Liveness and Fairness Properties

  Nr. 194 (1985)

• PB-193 Formalizations in Systems Development

  Nr. 193 (1985)

• PB-195 Systems Development: Possibilities for and Obstacles to Changing Practice

  Nr. 195 (1985)

• PB-174 Towards Reachability Trees for High-level Petri Nets

  Nr. 174 (1984)

• PB-192 A Conceptual Framework for Programming Languages

  Nr. 192 (1985)

• PB-191 Galleries and Institutions

  Nr. 191 (1985)

• PB-186 Logic Programming, Substitutions, and Finite Computability

  Nr. 186 (1984)

• PB-188 On Proving Limited Completeness

  Nr. 188 (1985)

• PB-190 A Tool Perspective on Design of Interactive Computer Support for Skilled Workers

  Nr. 190 (1985)

• PB-189 Symmetric Distributed Termination

  Nr. 189 (1985)

• PB-187 Program Development on Graphical Workstations

  Nr. 187 (1984)

• PB-184 Three Approaches to Teaching Software Ergonomics

  Nr. 184 (1984)

• PB-185 Experiments with a Multiprocessor

  Nr. 185 (1984)

• PB-183 Not published

  Nr. 183 (1984)

• PB-179 Mapping Situations within a System Development Project.: An Intervention Perspective on Organizational Change

  Nr. 179 (1984)

• PB-180 Degrees of Non-determinism and Concurrency: A Petri Net View

  Nr. 180 (1984)

• PB-181 Learning Difficulties of Programmers Faced With a New Programming Environment

  Nr. 181 (1984)

• PB-177 Kernel Languages

  Nr. 177 (1984)

• PB-182 How Readers Annotate Textbooks and Manuals

  Nr. 182 (1984)

• PB-178 A Virtual Protocol Model for Computer-Human Interaction

  Nr. 178 (1984)