Advertisement

Computer Science – Theory and Applications

First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

  • Dima Grigoriev
  • John Harrison
  • Edward A. Hirsch

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Mike Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstić, John O’Leary
      Pages 3-5
  3. Theory Track

    1. V. Arvind, Bireswar Das
      Pages 6-17
    2. S. V. Avgustinovich, A. E. Frid
      Pages 18-22
    3. Freiric Barral, Sergei Soloviev
      Pages 35-45
    4. Nicolas Baudru, Rémi Morin
      Pages 46-57
    5. Marie-Pierre Béal, Sylvain Lombardy, Jacques Sakarovitch
      Pages 58-69
    6. Piotr Berman, Martin Fürer, Alexander Zelikovsky
      Pages 70-79
    7. Olaf Beyersdorff
      Pages 80-91
    8. Olivier Bodini, Thomas Fernique
      Pages 104-113
    9. Manuel Bodirsky, Jan Kára
      Pages 114-126
    10. Patrick Cégielski, Irène Guessarian, Yury Lifshits, Yuri Matiyasevich
      Pages 127-136
    11. Anna Gál, Michal Koucký, Pierre McKenzie
      Pages 178-190
    12. Evan Goris
      Pages 191-201
    13. Igor Grunsky, Oleksiy Kurganskyy, Igor Potapov
      Pages 202-210
    14. Yoram Hirshfeld, Alexander Rabinovich
      Pages 211-220
    15. Ingmar Meinecke
      Pages 235-246
    16. Hartmut Messerschmidt, Friedrich Otto
      Pages 247-258
    17. Daniel Mölle, Stefan Richter, Peter Rossmanith
      Pages 270-280
    18. An. Muchnik, N. Vereshchagin
      Pages 281-291
    19. Alexander Okhotin
      Pages 292-303
    20. Valery Plisko
      Pages 304-312
    21. Sergey P. Shlepakov
      Pages 346-351
    22. Tatiana Yavorskaya(Sidon)
      Pages 369-380
  4. Applications and Technology Track

    1. Andreas Abel
      Pages 381-392
    2. Xiaogang Dong, Ilya Pollak
      Pages 403-414
    3. Yong-Guk Kim, Min-Soo Jang, Kyoung-Sic Cho, Gwi-Tae Park
      Pages 438-446
    4. Pasan Kulvanit, Theera Piroonratana, Nachol Chaiyaratana, Djitt Laowattana
      Pages 447-456
    5. Xiaojun Liu, Jie Yang, Hongbin Shen, Xiangyang Wang
      Pages 466-474
    6. F. Loulergue, R. Benheddi, F. Gava, D. Louis-Régis
      Pages 475-486

About these proceedings

Keywords

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

Editors and affiliations

  • Dima Grigoriev
    • 1
  • John Harrison
    • 2
  • Edward A. Hirsch
    • 3
  1. 1.IRMARUniversité de RennesRennes CedexFrance
  2. 2.Intel CorporationHillsboroUSA
  3. 3.Steklov Institute of Mathematics at St. PetersburgPetersburgRussia

Bibliographic information

  • DOI https://doi.org/10.1007/11753728
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-34166-6
  • Online ISBN 978-3-540-34168-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site