Archives - Page 9
-
PB-399 Transition System Models for Concurrency
No. 399 (1992) -
PB-396 The Bit Probe Complexity Measure Revisited
No. 396 (1992) -
PB-397 Proceedings of the CLICS Workshop: Part I og II
No. 397 (1992) -
PB-395 CCS, Locations and Asynchronous Transition Systems
No. 395 (1992) -
PB-391 Towards a Modular Analysis of Coloured Petri Nets
No. 391 (1992) -
PB-394 Efficient Inference of Partial Types
No. 394 (1992) -
PB-387 Design of Information Systems: Things versus People
No. 387 (1992) -
PB-389 Safety Analysis versus Type Inference
No. 389 (1992) -
PB-386 Polyvariant Analysis of the Untyped Lambda Calculus
No. 386 (1992) -
PB-385 Making Type Inference Practical
No. 385 (1992) -
PB-384 Fitness Conditions for fixed Point Iteration
No. 384 (1992) -
PB-382 A Provably Correct Compiler Generator
No. 382 (1992) -
PB-380 On-Line Reevaluation of Functions
No. 380 (1992) -
PB-381 On Action Algebras
No. 381 (1992) -
PB-379 Simulation Techniques
No. 379 (1991) -
PB-378 Circuit Depth Relative to a Random Oracle
No. 378 (1991)