Computer Science – Theory and Applications

5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings

  • Farid Ablayev
  • Ernst W. Mayr
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6072)

Table of contents

  1. Front Matter
  2. Susanne Albers
    Pages 1-11
  3. Nathalie Aubrun, Marie-Pierre Béal
    Pages 12-24
  4. Nazim Benaissa, Dominique Méry
    Pages 25-36
  5. Benedikt Bollig, Loïc Hélouët
    Pages 48-59
  6. N. Bourgeois, A. Giannakos, G. Lucarelli, I. Milis, V. Th. Paschos, O. Pottié
    Pages 60-71
  7. Thomas Brihaye, Véronique Bruyère, Julie De Pril
    Pages 72-83
  8. Janusz Brzozowski, Galina Jirásková, Chenglong Zou
    Pages 84-95
  9. Olivier Carton
    Pages 96-106
  10. Fedor V. Fomin
    Pages 107-108
  11. Anahí Gajardo, Pierre Guillon
    Pages 109-119
  12. Paweł Gawrychowski, Artur Jeż, Łukasz Jeż
    Pages 132-143
  13. Nick Gravin
    Pages 156-168
  14. Ling-Ju Hung, Ton Kloks
    Pages 195-203

About these proceedings

Keywords

Alphabet Erfüllbarkeitsproblem der Aussagenlogik Graph algorithmics algorithms automata complexity computability constraint satisfaction problem maximum spanning tree optimization quantum computation security protocols theoretical computer science turing machine

Editors and affiliations

  • Farid Ablayev
    • 1
  • Ernst W. Mayr
    • 2
  1. 1.Dept. of Theoretical CyberneticsKazan State UniversityKazanRussia
  2. 2.Institut für InformatikTechnische Universität MünchenGarchingGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-13182-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-13181-3
  • Online ISBN 978-3-642-13182-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book