Mathematical Foundations of Computer Science 2006

Mathematical Foundations of Computer Science 2006
Author: Rastislav Královic
Publisher: Springer Science & Business Media
Total Pages: 827
Release: 2006-08-11
Genre: Computers
ISBN: 3540377913

This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006. The book presents 62 revised full papers together with the full papers or abstracts of 7 invited talks. All current aspects in theoretical computer science and its mathematical foundations are addressed, from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry and more.

Mathematical Foundations of Computer Science 1996

Mathematical Foundations of Computer Science 1996
Author: Wojciech Penczek
Publisher: Springer Science & Business Media
Total Pages: 614
Release: 1996-08-07
Genre: Computers
ISBN: 9783540615507

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.