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