Advertisement

© 2009

Computer Science - Theory and Applications

Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings

  • Anna Frid
  • Andrey Morozov
  • Andrey Rybalchenko
  • Klaus W. Wagner
Conference proceedings CSR 2009

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Pedro Cabalar, Sergei Odintsov, David Pearce
      Pages 1-11
    2. Wolfgang Thomas
      Pages 12-18
    3. Nikolay Vereshchagin
      Pages 19-24
  3. Accepted Papers

    1. Arnon Avron, Agata Ciabattoni, Anna Zamansky
      Pages 26-37
    2. Philippe Baptiste, Jacques Carlier, Alexander Kononov, Maurice Queyranne, Sergey Sevastyanov, Maxim Sviridenko
      Pages 38-46
    3. Chris Calabro, Ramamohan Paturi
      Pages 59-70
    4. Yi Deng, Giovanni Di Crescenzo, Dongdai Lin, Dengguo Feng
      Pages 80-91
    5. Tommy Färnqvist, Peter Jonsson, Johan Thapper
      Pages 92-104
    6. Andreas Goerdt
      Pages 105-116
    7. Edward A. Hirsch, Sergey I. Nikolenko
      Pages 129-142
    8. Pim van ’t Hof, Daniël Paulusma, Gerhard J. Woeginger
      Pages 143-154
    9. Dmitry Itsykson
      Pages 155-166
    10. Artur Jeż, Alexander Okhotin
      Pages 191-202

About these proceedings

Keywords

Alphabet Erfüllbarkeitsproblem der Aussagenlogik Graph algorithm analysis automata theory classification complexity computability cryptography formal language linear optimization logic satisfiability verification word problems

Editors and affiliations

  • Anna Frid
    • 1
  • Andrey Morozov
    • 2
  • Andrey Rybalchenko
    • 3
  • Klaus W. Wagner
    • 4
  1. 1.Sobolev Institute of Mathematics SB RASNovosibirskRussia
  2. 2.Sobolev Institute of Mathematics SB RASNovosibirskRussia
  3. 3.Max Planck Institute for Software SystemsSaarbrückenGermany
  4. 4.Lehrstuhl für Theoretische Informatik, Institut für InformatikJulius-Maximilians-Universität Würzburg, Am HublandWürzburgGermany

Bibliographic information

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