Arkiver - Side 10
-
PB-371 Optimal Bounds for the Change-Making Problem
Nr. 371 (1991) -
PB-372 Relations and Non-commutative Linear Logic
Nr. 372 (1991) -
PB-370 An Introduction to Action Semantics
Nr. 370 (1991) -
PB-363 A Linear Specification Language for Petri Nets
Nr. 363 (1991) -
PB-353 Transition Systems, Event Structures and Unfoldings
Nr. 353 (1991) -
PB-361 Probabilistic Construction of Normal Basis: Note
Nr. 361 (1991) -
PB-362 Three Discussions on Object-Oriented Typing
Nr. 362 (1991) -
PB-356 Distributed CCS
Nr. 356 (1991) -
PB-359 Bounded Fixed Point Iteration
Nr. 359 (1991) -
PB-360 Reuse of Invariants in Proofs of Implementation
Nr. 360 (1991) -
PB-358 Parallel Construction of Irreducible Polynomials
Nr. 358 (1991) -
PB-355 Static Typing for Object-Oriented Programming
Nr. 355 (1991) -
PB-354 Language Evolution and Human-Computer Interaction
Nr. 354 (1991) -
PB-348 Properties of Unfolding-based Meta-level Systems
Nr. 348 (1991)