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