Bulletin of the EATCS, Volume 85

Volume 85, February 2005

Computational Complexity Concurrency Distributed Computing Formal Language Theory Formal Specification Logic in Computer Science Natural Computing Technical Contributions Miscellaneous