Computer Science – Theory and Applications

Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

  • Editors
  • Volker Diekert
  • Mikhail V. Volkov
  • Andrei Voronkov
Conference proceedings CSR 2007

DOI: 10.1007/978-3-540-74510-5

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4649)

Table of contents

  1. Front Matter
  2. Yuri Gurevich
    Pages 1-3
  3. Scott Aaronson
    Pages 4-4
  4. Rajeev Alur
    Pages 5-5
  5. Geoff Sutcliffe
    Pages 6-22
  6. Géraud Sénizergues
    Pages 24-32
  7. Bogdan Aman, Gabriel Ciobanu
    Pages 33-43
  8. Ehsan Amiri, Evgeny Skvortsov
    Pages 44-55
  9. Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama
    Pages 56-69
  10. Maxim A. Babenko
    Pages 70-81
  11. Danièle Beauquier, Marie Duflot, Yury Lifshits
    Pages 82-91
  12. Harry Buhrman, Lance Fortnow, Michal Koucký, John D. Rogers, Nikolay Vereshchagin
    Pages 92-103
  13. Dominique Cansell, Dominique Méry
    Pages 104-114
  14. Samir Datta, Raghav Kulkarni, Nutan Limaye, Meena Mahajan
    Pages 115-126
  15. Christian Glaßer, Katrin Herr, Christian Reitwießner, Stephen Travers, Matthias Waldherr
    Pages 127-138
  16. Victor Grishchenko
    Pages 139-145
  17. Bernhard Heinemann
    Pages 146-157
  18. Navid Imani, Hamid Sarbazi-Azad, Selim G. Akl
    Pages 158-167

About these proceedings

Keywords

Algorithms Automat Hardware artificial intelligence automata complexity computer architecture computer science data structure data structures formal language programming proof theory robot robotics

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-74509-9
  • Online ISBN 978-3-540-74510-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349