Archives - Page 19
-
PB-147 Concurrent Algorithms for Root Searching
No. 147 (1982) -
PB-145 Abstract Semantic Algebras!
No. 145 (1982) -
PB-144 Integer Factorization
No. 144 (1982) -
PB-146 Results on the Propositional µ-Calculus
No. 146 (1982) -
PB-142 Early Experience from a Multi-Processor Project
No. 142 (1982) -
PB-141 Specification and Design of Distributed Systems
No. 141 (1981) -
PB-140 Program Transformations in a Denotational Setting
No. 140 (1981) -
PB-136 Systemudvikling og systemudviklingsmetode
No. 136 (1981) -
PB-135 A Denotational Framework for Data Flow Analysis
No. 135 (1981) -
PB-134 An Integrated Rational Arithmetic Unit
No. 134 (1981) -
PB-133 A Cook's Tour of Countable Nondeterminism
No. 133 (1981) -
PB-132 A Semantic Algebra for Binding Constructs
No. 132 (1981) -
PB-131 Semantic Foundations of Data Flow Analysis
No. 131 (1981) -
PB-129 Analysis of Concurrent Algorithms
No. 129 (1981) -
PB-128 Flow Analysis of Lambda Expressions
No. 128 (1981) -
PB-127 Firmware Development Systems: A Survey
No. 127 (1980) -
PB-126 The Meaning of Logical Programs
No. 126 (1980)