Archives - Page 11

• PB-351 Real-Time Action

  No. 351 (1991)

• PB-350 An Overview of the Mjølner BETA System

  No. 350 (1991)

• PB-349 Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version

  No. 349 (1991)

• PB-348 Properties of Unfolding-based Meta-level Systems

  No. 348 (1991)

• PB-347 A Modal Characterisation of Distributed Bisimulation

  No. 347 (1991)

• PB-346 Elementary Transition Systems and Refinement

  No. 346 (1991)

• PB-345 Object-Oriented Type Inference

  No. 345 (1991)

• PB-344 What is an Efficient Implementation of the lambda-calculus?

  No. 344 (1991)

• PB-343 Some Results on Uniform Arithmetic Circuit Complexity

  No. 343 (1991)

• PB-342 What is Type-Safe Code Reuse?

  No. 342 (1990)

• PB-341 A Unified Type System for Object-Oriented Programming

  No. 341 (1990)

• PB-340 Proceedings of the Third HOL Users Meeting: Aarhus University, 1-2 October 1990

  No. 340 (1990)

• PB-339 A Scaled Conjugate Gradient Algorithm for Fast Supervised Learning

  No. 339 (1990)

• PB-338 Coloured Petri Nets: A High Level Language for System Design and Analysis

  No. 338 (1990)

• PB-337 Using Transformations in the Implementation of Higher-Order Functions

  No. 337 (1990)

• PB-336 Type Inference with Inequalities

  No. 336 (1990)

• PB-335 The Complexity of Malign Ensembles

  No. 335 (1990)

• PB-334 Activity Theory as a Challenge to Systems Design

  No. 334 (1990)

• PB-333 Supporting Active User Involvement in Prototyping

  No. 333 (1990)

• PB-332 Cooperative Prototyping: Users and Designers in Mutual Activity

  No. 332 (1990)

• PB-331 Improving Conditions for Cooperative System Design: shifting from a product to a process focus

  No. 331 (1990)

• PB-330 Convertible Undeniable Signatures

  No. 330 (1990)

• PB-329 Theoretical Aspects of Semantics-Based Language Implementation

  No. 329 (1990)

• PB-328 Compositional Characterization of Observable Program Properties

  No. 328 (1990)

• PB-327 A discrete logarithm blob for noninteractive XOR gates

  No. 327 (1990)