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

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
  • About this book