Bulletin of the EATCS, Volume 62

Volume 62, June 1997

The Computational Complexity Column

Jack H. Lutz: Report on the Workshop on Languages, Algorithms and Complexity, Minneapolis, USA, 12 April 1997. BibTeX

Formal Specification Column

Hartmut Ehrig, A. Merten, Julia Padberg: How to Transfer Concepts of Abstract Data Types to Petri Nets? BibTeX

The Logic in Computer Science Column

The Concurrency Column

The Formal Language Theory Column

Valeria Mihalache, Arto Salomaa: Lindenmayer and DNA: Watson-Crick D0L Systems. BibTeX
Lucian Ilie: Some Recent Results on Contextual Languages. BibTeX

Technical Contributions

Asat Arslanov: On a Conjecture of M. Van Lambalgen. BibTeX
Cristian Calude, Peter Hertling, Bakhadyr Khoussainov: Do the Zeros of Riemann's Zeta-Function Form a Random Sequence? BibTeX
Venkatesan T. Chakaravarthy, Kamala Krithivasan: A Note on Extended H Systems with Permitting/Forbidding Contexts of Radius One. BibTeX
Victor Mitrana: Some Remarks on Morphisms and Primitivity. BibTeX
Sylvain Porrot, Max Dauchet, Denis Pomorski: The Fractal Dimension of a Computable Figure is the Average Normalized Complexity of its Points. BibTeX