Archives - Page 8
-
PB-426 Length of Maximal Common Subsequences
No. 426 (1992) -
PB-422 Provably Correct Compiler Generation
No. 422 (1992) -
PB-423 Layered Predicates
No. 423 (1992) -
PB-420 Local Computation of Simultaneous Fixed-Points
No. 420 (1992) -
PB-421 Graph Types
No. 421 (1992) -
PB-418 The Operational Semantics of Action Notation
No. 418 (1992) -
PB-416 The Use of Sorts in Algebraic Specifications
No. 416 (1992) -
PB-414 On Aggregation and Computation on Domain Values
No. 414 (1992) -
PB-419 The Sun RPC Language Semantics
No. 419 (1992) -
PB-409 Efficient Rebalancing of Chromatic Search Trees
No. 409 (1992) -
PB-412 Towards a Prototyping Approach in Systems Development
No. 412 (1992) -
PB-405 Efficient Recursive Subtyping
No. 405 (1992) -
PB-406 Part Objects and Their Location
No. 406 (1992) -
PB-403 Cryptanalysis of LOKI
No. 403 (1992)