Volume 79,
February 2003
Columns
- Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano:
Algorithm engineering, Algorithmics Column.
48-63 BibTeX
- Hartmut Ehrig:
On the relevance of high-level net processes, Formal Specification Column.
64-68 BibTeX
- Stephen A. Fenner:
A physics-free introduction to the quantum computation model, Computational Complexity Column.
69-85 BibTeX
- Marc Bezem, Thierry Coquand:
Newman's lemma - a case study in proof automation and geometric logic, Logic in Computer Science Column.
86-100 BibTeX
- Joan Feigenbaum, Scott Shenker:
Distributed algorithmic mechanism design: recent results and future directions, Distributed Computing Column.
101-121 BibTeX
- Nicolas Markey:
Temporal logic with past is exponentially more succinct, Concurrency Column.
122-128 BibTeX
- Max H. Garzon:
Biomolecular computing in silico, Natural Computing Column.
129-144 BibTeX
- Alexander Okhotin:
An overview of conjunctive grammars, Formal Language Theory Column.
145-163 BibTeX
Technical Contributions
Surveys AND Tutorials
Copyright © Sat May 16 23:57:45 2009
by Michael Ley (ley@uni-trier.de)