Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 ... (Lecture Notes in Computer Science, 2136) - Softcover

Softcover

ISBN 10: 3540424962 ISBN 13: 9783540424963

Publisher: Springer, 2001

Synopsis

This volume contains papers selected for presentation at the 26th International Symposium on Mathematical Foundations of Computer Science - MFCS 2001, held in Mari´ansk´eL´azn?e, Czech Republic, August 27 - 31, 2001. MFCS 2001 was organized by the Mathematical Institute (Academy of S- ences of the Czech Republic), the Institute for Theoretical Computer Science (Charles University, Faculty of Mathematics and Physics), the Institute of C- puter Science (Academy of Sciences of the Czech Republic), and Action M Agency. It was supported by the European Research Consortium for Informatics and Mathematics, the Czech Research Consortium for Informatics and Ma- ematics, and the European Association for Theoretical Computer Science. We gratefully acknowledge the support of all these institutions. The series of MFCS symposia, organized on a rotating basis in Poland, S- vakia, and the Czech Republic, has a well-established tradition. The aim is to encourage high-quality research in all branches of theoretical computer science and bring together specialists who do not usually meet at specialized confer- ? ences. Previous meetings tookplace in Jablonna, 1972; Strbsk´e Pleso, 1973; J- wisin, 1974; Marian ´ sk´eL´azn?e, 1975; Gdan ´sk, 1976; Tatransk´a Lomnica, 1977; Za- ? kopane, 1978; Olomouc, 1979; Rydzina, 1980; Strbsk´e Pleso, 1981; Prague, 1984; Bratislava, 1986; Karlovy Vary, 1988; Porabk ¸ a-Kozubnik, 1989; Bansk´aBystrica, 1990; Kazimierz Dolny, 1991; Prague, 1992; Gdan ´sk, 1993; Ko?sice, 1994; Prague, 1995; Krak´ow, 1996; Bratislava, 1997; Brno, 1998; Szklarska Por¸eba, 1999; and Bratislava, 2000.

About this title

Synopsis

This book constitutes the refereed proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS 2001, held in Marianske Lazne, Czech Republic in August 2001. The 51 revised full papers presented together with 10 invited contributions were carefully reviewed and selected from a total of 118 submissions. All current aspects of theoretical computer science are addressed ranging from mathematical logic and programming theory to algorithms, discrete mathematics, and complexity theory. Besides classical issues, modern topics like quantum computing are discussed as well.

Edition details

• Publisher: Springer
• Publication date: 2001
• Language: English
• ISBN 10: 3540424962
• ISBN 13: 9783540424963
• Binding: Paperback
• Number of pages: 730
• Editor: Sgall Jiri, Pultr Ales, Kolman Petr