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