Ebook: Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings

This book constitutes the refereed proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS 2000, held in Bratislava/Slovakia in August/September 2000. The 57 revised full papers presented together with eight invited papers were carefully reviewed and selected from a total of 147 submissions. The book gives an excellent overview on current research in theoretical informatics. All relevant foundational issues, from mathematical logics as well as from discrete mathematics are covered. Anybody interested in theoretical computer science or the theory of computing will benefit from this book.

---

The proceedings of the 25th International Symposium, MFCS 2000, held in Bratislava, Slovakia, August 28- September 1, 2000. The conference was rather unique in that it was organized and held entirely in the Czech Republic, Poland, and Slovakia, which has been a tradition since 1972. Softcover.