Advertisement

© 2006

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
Conference proceedings CSR 2006

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

Industry Sectors
Automotive
Biotechnology
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Engineering
Finance, Business & Banking
Electronics