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