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
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5675)

Table of contents

  1. Front Matter
  2. Invited Papers

  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

  • DOI https://doi.org/10.1007/978-3-642-03351-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-03350-6
  • Online ISBN 978-3-642-03351-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book