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