Bulletin of the EATCS, Volume 64

Volume 64, February 1998

The Computational Complexity Column

Formal Specification Column

E. Berger, James K. Huggins: Abstract State Machines 1988-1998: Commented ASM Bibliography. BibTeX

The Logic in Computer Science Column

The Concurrency Column

Uwe Nestmann, Björn Victor: Calculi for Mobile Processes - Bibliography and Web Pages. BibTeX

The Formal Language Theory Column

Technical Contributions

Amir M. Ben-Amram: Introducing: Reasonable Complete Programming Languages. BibTeX
Vladik Kreinovich, Luc Longpré: Human Visual Perception and Kolmogorov Complexity: Revisited. BibTeX
Carlos Martín-Vide, Alexandru Mateescu, Gheorghe Paun: Hybrid Grammars: The Chomsky-Marcus Case. BibTeX
Ioan Tomescu: A Threshold Property Concerning Words Containing All Short Factors. BibTeX