Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Engineering sciences. Technology --- German language --- Russian language

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007). The purpose of the MFCS symposia is to encourage high-quality researchin all ?elds of theoret- ? ical computer science. This year's conference was held in Cesky ´ Krumlov, Czech Republic, during August 26-31. The conference program of MFCS 2007 consisted of 61 contributed papers selectedby the ProgramCommittee froma totalof 167submissions.All subm- sionswerereadandevaluatedbyatleastfour referees,andthe resultingdecision was based on electronic discussion which often included help from outside - perts. A selection of contributed papers will appear in the journal Theoretical Computer Science. Complementing the contributed papers,the programof MFCS 2007included invitedlecturesbyVa? sekChv´ atal(Montreal,Canada),AnujDawar(Cambridge, UK), Kurt Mehlhorn (Saarbruc ¨ ken, Germany), Luke Ong (Oxford, UK), and Leslie Valiant (Cambridge, USA). We are grateful to the invited speakers for accepting our invitation and sharing their knowledge and skills with all MFCS 2007 participants. As the editors of these proceedings, we would like to thank everyone who contributed to the success of the symposium. First of all, we thank the authors ofallsubmittedpapersforconsideringMFCS2007asanappropriateplatformfor presentingtheirwork.Sincethenumberofsubmissionswasveryhigh,manygood papers could not be accepted. We also thank the Program Committee members for their demanding and responsible work, the referees for careful reading of all the submissions, and the sta? at Springer for the professional support in producing this volume.

Complex analysis --- Discrete mathematics --- Computer science --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- programmeren (informatica) --- database management --- programmatielogica --- algoritmen

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Complex analysis --- Discrete mathematics --- Mathematics --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- toegepaste informatica --- discrete wiskunde --- complexe analyse (wiskunde) --- computers --- informatica --- externe fixatie (geneeskunde --- programmeren (informatica) --- programmeertalen --- algoritmen

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The series of MFCS symposia, organized in rotation by Poland, Slovakia, and the Czech Republic since 1972, has a long and well-established tradition. The symposiaencouragehigh-qualityresearchinallbranchesoftheoreticalcomputer science.Their broadscopeprovidesanopportunityto bring together researchers whodonotusuallymeetatspecialized conferences. The 35th International Symposium on Mathematical Foundations of C- puter Science (MFCS 2010) was organized in parallel with the 19th EACSL Annual Conference on Computer Science Logic (CSL 2010). The federated MFCS and CSL 2010 conference had shared plenary sessions and social events forallparticipants,butthescienti?cprogramandtheproceedingswereprepared independently for both events. Out of 149 regular submissions to MFCS 2010, the Program Committee - lected 56 papers for presentation at the conference and publication in this v- ume. Each paper was reviewed by at least three Program Committee members with the help of outside experts, and the actual selection was based on a sub- quent electronic discussion. In addition to the contributed papers, the scienti?c program of MFCS 2010 included ?ve MFCS and CSL plenary talks delivered by David Basin (ETH Z¨ urich),HerbertEdelsbrunner (IST Austria andDuke University),ErichGrad ¨ el (RWTH Aachen), Bojan Mohar (University of Ljubljana and Simon Fraser U- versity),andJosephSifakis (CNRS), andthree invitedMFCS lecturesby Andris Ambainis (University of Latvia), Juraj Hromkovi?c(ETHZur ¨ ich), and Daniel Lokshtanov (Universitetet i Bergen). We are grateful to the invited speakers for accepting our invitation and sharing their knowledge and skills with all MFCS 2010 participants.

Computer programming --- Algorithms --- Computable functions --- Machine theory --- Programmation (Informatique) --- Algorithmes --- Fonctions calculables --- Automates mathématiques, Théorie des --- Congresses. --- Congrès --- Automates mathématiques, Théorie des --- Congrès --- EPUB-LIV-FT LIVINFOR SPRINGER-B

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007). The purpose of the MFCS symposia is to encourage high-quality researchin all ?elds of theoret- ? ical computer science. This year's conference was held in Cesky ´ Krumlov, Czech Republic, during August 26-31. The conference program of MFCS 2007 consisted of 61 contributed papers selectedby the ProgramCommittee froma totalof 167submissions.All subm- sionswerereadandevaluatedbyatleastfour referees,andthe resultingdecision was based on electronic discussion which often included help from outside - perts. A selection of contributed papers will appear in the journal Theoretical Computer Science. Complementing the contributed papers,the programof MFCS 2007included invitedlecturesbyVa? sekChv´ atal(Montreal,Canada),AnujDawar(Cambridge, UK), Kurt Mehlhorn (Saarbruc ¨ ken, Germany), Luke Ong (Oxford, UK), and Leslie Valiant (Cambridge, USA). We are grateful to the invited speakers for accepting our invitation and sharing their knowledge and skills with all MFCS 2007 participants. As the editors of these proceedings, we would like to thank everyone who contributed to the success of the symposium. First of all, we thank the authors ofallsubmittedpapersforconsideringMFCS2007asanappropriateplatformfor presentingtheirwork.Sincethenumberofsubmissionswasveryhigh,manygood papers could not be accepted. We also thank the Program Committee members for their demanding and responsible work, the referees for careful reading of all the submissions, and the sta? at Springer for the professional support in producing this volume.

Complex analysis --- Discrete mathematics --- Computer science --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- programmeren (informatica) --- database management --- programmatielogica --- algoritmen