Bulletin of the EATCS, Volume 53

Volume 53, June 1994

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

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

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

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

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