default search action
Bulletin of the EATCS, Volume 82
Volume 82, February 2004
- Kazuo Iwama:
Worst-Case Upper Bounds for kSAT (Column: Algorithmics). Bull. EATCS 82: 61-71 (2004) - William I. Gasarch:
A Survey on Private Information Retrieval (Column: Computational Complexity). 72-107 - Wan J. Fokkink, Jan Friso Groote, Michel A. Reniers:
Process Algebra Needs Proof Methodology (Columns: Concurrency). 109-125 - Sotiris E. Nikoletseas, Paul G. Spirakis:
The Characteristic Algorithmic Approach for Ad-hoc Mobile Networks (Column: Distributed Computing). Bull. EATCS 82: 126-169 (2004) - Solomon Marcus:
Quasiperiodic Infinite Words (Columns: Formal Language Theory). Bull. EATCS 82: 170-174 (2004) - Hartmut Ehrig:
Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification). Bull. EATCS 82: 175-190 (2004) - Per F. V. Hasle, Peter Øhrstrøm:
The Flow of Time into Logic - and Computer Science (Column: Logic in Computer Science). Bull. EATCS 82: 191-226 (2004) - Tero Harju, Ion Petre, Grzegorz Rozenberg:
Gene Assembly in Celiates. Part I. Molecular Operations (Column: Natural Computing). Bull. EATCS 82: 227-241 (2004) - Joshua D. Guttman:
A New Column: Information Security. Bull. EATCS 82: 242-252 (2004)
- Samee Ullah Khan:
Integers, Game Trees and some Unknowns. Bull. EATCS 82: 255-262 (2004) - Andrzej Szepietowski, Monika Targan:
The Counterfeit Coin Problem. Bull. EATCS 82: 263-268 (2004) - Sándor Vágvölgyi:
Left-linear Right-ground Term Rewrite Systems and Ground Term Rewrite Systems. Bull. EATCS 82: 269-285 (2004) - Benedek Nagy:
The Languages of SAT and n-SAT over Finitely Many Variables are Regular. Bull. EATCS 82: 286-297 (2004)
- Hans J. Schneider:
Introducing the parallel Random Access Machine together with FORTARN 90/95. Bull. EATCS 82: 299-314 (2004)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-19 00:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: