Bulletin of the EATCS, Volume 87

Volume 87, October 2005

Algorithmics Computational Complexity Concurrency Formal Specification Formal Specification Logic in Computer Science Natural Computing Technical Contributions
maintained by Schloss Dagstuhl LZI at University of Trier