Volume 28,
1984
- Wolfgang J. Paul:
On Heads Versus Tapes.
1-12
- Jan Maluszynski:
Towards a Programming Language Based on the Notion of Two-Level Grammar.
13-43
- Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright:
Parameter Passing in Algebraic Specification Languages.
45-81
- Krzysztof R. Apt:
Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism.
83-109
- Rolf Wiehagen, Rusins Freivalds, Efim B. Kinber:
On the Power of Probabilistic Strategies in Inductive Inference.
111-133
- Dario Bini:
On Commutativity and Approximation.
135-150
- Simona Ronchi Della Rocca, Betti Venneri:
Principal Type Schemes for an Extended Type Theory.
151-169
- César Fernández, P. S. Thiagarajan:
D-Continuous Causal Nets: A Model of Non-Sequential Processes.
171-196
- Andrzej Ehrenfeucht, Grzegorz Rozenberg, R. Verraedt:
On Inherently Ambiguous E0L Languages.
197-214
- Jan A. Bergstra, J. V. Tucker:
Hoare's Logic for Programming Languages with two Data Types.
215-221
- Taiho Kanaoka, Shingo Tomita:
The Decomposition of Stochastic Systems.
223-233
- J. Roger Hindley:
Coppo-Dezani Types do not Correspond to Propositional Logic.
235-236
- Philip T. Cox, Tomasz Pietrzykowski:
A Complete, Nonredundant Algorithm for Reversed Skolemization.
239-261
- David G. Kirkpatrick, Stefan Reisch:
Upper Bounds for Sorting Integers on Random Access Machines.
263-276
- Walter Bucher, Hermann A. Maurer, Karel Culik II:
Context-Free Complexity of Finite Languages.
277-285
- Francesco Parisi-Presicce:
Iterative Factor Algebras and Induced Metrics.
287-298
- Alica Kelemenová:
Complexity of Normal Form Grammars.
299-314
- Kojiro Kobayashi, Masako Takahashi, Hideki Yamasaki:
Characterization of omega-Regular Languages by First-Order Formulas.
315-327
- Dominique Perrin:
Completing Biprefix Codes.
329-336
- Norbert Blum:
A Boolean Function Requiring 3n Network Size.
337-345
- John J. Grefenstette:
Corrigendum: Stability in L Systems.
347 ,
-> TCS 24(1) (June, 1983) 53-71
Copyright © Fri Mar 12 17:33:05 2010
by Michael Ley (ley@uni-trier.de)
