Bulletin of the EATCS, Volume 82

Volume 82, February 2004

Columns

Kazuo Iwama: Worst-Case Upper Bounds for kSAT (Column: Algorithmics). 61-71 BibTeX
William I. Gasarch:
A Survey on Private Information Retrieval (Column: Computational Complexity). 72-107
Electronic Edition (link) BibTeX
Wan Fokkink, Jan Friso Groote, Michel A. Reniers:
Process Algebra Needs Proof Methodology (Columns: Concurrency). 109-125
Electronic Edition (link) BibTeX
Sotiris E. Nikoletseas, Paul G. Spirakis: The Characteristic Algorithmic Approach for Ad-hoc Mobile Networks (Column: Distributed Computing). 126-169 BibTeX
Solomon Marcus: Quasiperiodic Infinite Words (Columns: Formal Language Theory). 170-174 BibTeX
Hartmut Ehrig: Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification). 175-190 BibTeX
Per F. V. Hasle, Peter Øhrstrøm: The Flow of Time into Logic - and Computer Science (Column: Logic in Computer Science). 191-226 BibTeX
Tero Harju, Ion Petre, Grzegorz Rozenberg: Gene Assembly in Celiates. Part I. Molecular Operations (Column: Natural Computing). 227-241 BibTeX
Joshua D. Guttman: A New Column: Information Security. 242-252 BibTeX

Technical Contributions

Samee Ullah Khan: Integers, Game Trees and some Unknowns. 255-262 BibTeX
Andrzej Szepietowski, Monika Targan: The Counterfeit Coin Problem. 263-268 BibTeX
Sándor Vágvölgyi: Left-linear Right-ground Term Rewrite Systems and Ground Term Rewrite Systems. 269-285 BibTeX
Benedek Nagy: The Languages of SAT and n-SAT over Finitely Many Variables are Regular. 286-297 BibTeX

Education Matters

Hans J. Schneider: Introducing the parallel Random Access Machine together with FORTARN 90/95. 299-314 BibTeX