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
Copyright ©
Sat May 16 23:57:45 2009 by
Michael Ley
(
ley@uni-trier.de
)