Bulletin of the EATCS, Volume 69

Volume 69, October 1999

The Computational Complexity Column

Rodney G. Downey, Michael R. Fellows, Ulrike Stege: Computational Tractability: The View From Mars. 73-97 BibTeX

Formal Specification Column

Hartmut Ehrig, Julia Padberg, Fernando Orejas: From Basic Views and Aspects to Integration of Specification Formalisms. 98-109 BibTeX

The Concurrency Column

Luca Aceto, Wan Fokkink, Chris Verhoef: Conservative Extension in Structural Operational Semantics. 110-132 BibTeX

Technical Contributions

Jürgen Dassow, Victor Mitrana, Gheorghe Paun: On the Regularity of Duplication Closure. 133-136 BibTeX
William Klostermeyer: Maximization versus Minimization in Some Optimization Problems. 137-140 BibTeX
Gheorghe Paun: Computing with Membranes: A Correction, Two Problems, and Some Bibliographical Remarks. 141-144 BibTeX
S. Subbaramu, Ann Q. Gates, Vladik Kreinovich: Application of Kolmogorov Complexity to Image Compression: It Is Possible to Have a Better Compression, But It Is Not Possible to Have the Best One. 145-150 BibTeX