Bulletin of the EATCS, Volume 53

Volume 53, June 1994

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

• Juris Hartmanis: About the Nature of the Computer Science. 170-190

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

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

• 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