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