Bulletin of the EATCS, Volume 53

Volume 53, June 1994

The Algebraic Specification Column

Hartmut Ehrig, Fernando Orejas: Dynamic Abstract Data Types: An informal Proposal. 162-169

The Structural Complexity Column

The Concurrency Column

Rob J. van Glabbeek: What is Branching time semantics and why to use it? 191-198

The Formal Language Theory Column

Erzsébet Csuhaj-Varjú, Alexander Meduna: Grammars without context conditions. 199-212

Technical Contributions

Peter R. J. Asveld: An Alternative Formulation of Cocke-Younger-Kasami's Algorithm. 213-216
Marjo Lipponen: Primitive Words and Languages Associated to PCP. 217-225
Cyrus F. Nourani: Types, Induction, and Incompleteness. 226-248
Helmut Prodinger: Some Polynomials Related to the Fibonacci Polynomials. 248-250
Grigore Rosu: The Institution of Order-Sorted Equational Logic. 250-255
Anthony Karel Seda: A Topological View of the Kowalski - Van Emden Theorem. 256-263
Joachim Steinbach: A Formalism for Representing Orderings. 264-267

Last update Tue Feb 14 04:17:12 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page