Advertisement

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

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
  19. Peter Jonsson, Andrei Krokhin, Fredrik Kuivinen
    Pages 182-193
  20. Alexander S. Kulikov, Konstantin Kutzkov
    Pages 194-204
  21. Yury Lifshits, Dirk Nowotka
    Pages 216-226
  22. Benjamin Hoffmann, Yury Lifshits, Dirk Nowotka
    Pages 227-236
  23. Alexei Lisitsa, Andrei P. Nemytykh
    Pages 237-248
  24. Markus Lohrey, Saul Schleimer
    Pages 249-258
  25. Meena Mahajan, Jayalal Sarma M.N.
    Pages 269-280
  26. Jorge R. Manjarrez Sanchez, Jose Martinez, Patrick Valduriez
    Pages 281-289
  27. Reza Moraveji, Hamid Sarbazi-Azad, Abbas Nayebi, Keyvan Navi
    Pages 290-302
  28. Valery A. Nepomniaschy, Gennady I. Alekseev, Victor S. Argirov, Dmitri M. Beloglazov, Alexander V. Bystrov, Eugene A. Chetvertakov et al.
    Pages 303-314
  29. Vladimir V. Podolskii
    Pages 328-336
  30. Alexander N. Rybalov
    Pages 356-361
  31. Robin Sharp, Michael R. Hansen
    Pages 373-386
  32. Alexei Myasnikov
    Pages 407-417
  33. Back Matter

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

  • DOI https://doi.org/10.1007/978-3-540-74510-5
  • 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
  • Buy this book on publisher's site