Arkiver - Side 20

• PB-124 Absolute stability properties of the explicit linear 3-step formulae

  Nr. 124 (1980)

• PB-125 Software Engineering - Tools and Methods: Proceedings of the 1978 Aarhus Workshop

  Nr. 125 (1980)

• PB-123 Direct Methods for Sparse Matrices

  Nr. 123 (1980)

• PB-122 Comparison of two pivotal strategies in sparse plane rotations

  Nr. 122 (1980)

• PB-121 K-Visit Attribute Grammars

  Nr. 121 (1980)

• PB-120 How to find Invariants for Coloured Petri Nets

  Nr. 120 (1980)

• PB-116 Petri Nets and Semantics of System Descriptions

  Nr. 116 (1980)

• PB-117 Space-Restricted Attribute Grammars

  Nr. 117 (1980)

• PB-119 Attribute-Influenced LR Parsing

  Nr. 119 (1980)

• PB-118 A Constructive Approach to Compiler Correctness

  Nr. 118 (1980)

• PB-114 Subclasses of Attribute Grammars

  Nr. 114 (1980)

• PB-113 Compiler Generation from Denotational Semantics

  Nr. 113 (1980)

• PB-115 A Practical State Splitting Algorithm for Constructing LR-Parsers

  Nr. 115 (1980)

• PB-111 On Solving Some Large Linear Problems: By Direct Methods

  Nr. 111 (1980)

• PB-110 A General Algorithm for Solving a Set of Recursive Equations: Exemplified by LR-theory

  Nr. 110 (1980)

• PB-112 Modified Diagonally Implicit Runge-Kutta Methods

  Nr. 112 (1980)

• PB-107 Circularity Testing of Attribute Grammars Requires Exponential Time: A Simpler Proof

  Nr. 107 (1980)

• PB-108 A method to compare the descriptive power of different types of Petri nets

  Nr. 108 (1980)

• PB-109 On Defining Semantics by Means of Extended Attribute Grammars

  Nr. 109 (1980)

• PB-106 Methods for LR(k) Testing: (Informative Diagnostics on LALR(k)-Conflicts)

  Nr. 106 (1979)

• PB-105 Extended Attribute Grammars

  Nr. 105 (1979)

• PB-104 Coloured Petri Nets and the Invariant-Method

  Nr. 104 (1979)

• PB-102 Regions of Absolute Stability

  Nr. 102 (1979)

• PB-103 Parallelism in ADA: Program Design and Meaning

  Nr. 103 (1979)

• PB-100 An Experimental Comparison Between a Light Pen and a Joystick when Used for Free-Hand Drawing

  Nr. 100 (1979)