Mathematical Foundations of Computer Science 1996
Mathematical Foundations of Computer Science 1996

Author: Wojciech Penczek

Publisher: Springer Science & Business Media

Published: 1996-08-07

Total Pages: 614

ISBN-13: 9783540615507

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996. The volume presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers and 2 abstracts of invited talks. The papers included cover issues from the whole area of theoretical computer science, with a certain emphasis on mathematical and logical foundations. The 10 invited presentations are of particular value.

Mathematical Foundations of Computer Science 2000
Mathematical Foundations of Computer Science 2000

Author: Mogens Nielsen

Publisher: Springer

Published: 2003-06-29

Total Pages: 724

ISBN-13: 3540446125

DOWNLOAD EBOOK

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.