Theoretical Computer Science and General Issues

Computer Science - Theory and Applications

Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings

Editors: Hirsch, E.A., Razborov, A.A., Semenov, A., Slissenko, A. (Eds.)

Free Preview

Buy this book

eBook n/a
  • ISBN 978-3-540-79709-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-540-79708-1
  • Free shipping for individuals worldwide
About this book

This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008.

The 33 revised papers presented together with 5 invited papers and one opening lecture were carefully reviewed and selected from 103 submissions. All major areas in computer science are addressed. The theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory and applications of logic to computer science. The application part comprises programming and languages; computer architecture and hardware design; symbolic computing and numerical applications; application software; artificial intelligence and robotics.

Table of contents (39 chapters)

Table of contents (39 chapters)
  • Randomness – A Computational Complexity Perspective

    Pages 1-2

    Wigderson, Avi

  • Cracks in the Defenses: Scouting Out Approaches on Circuit Lower Bounds

    Pages 3-10

    Allender, Eric

  • On Formal Equivalence Verification of Hardware

    Pages 11-12

    Khasidashvili, Zurab

  • Twelve Problems in Proof Complexity

    Pages 13-27

    Pudlák, Pavel

  • Manifestation and Exploitation of Invariants in Bioinformatics

    Pages 28-28

    Wong, Limsoon

Buy this book

eBook n/a
  • ISBN 978-3-540-79709-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-540-79708-1
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Science - Theory and Applications
Book Subtitle
Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings
Editors
  • Edward A. Hirsch
  • Alexander A. Razborov
  • Alexei Semenov
  • Anatol Slissenko
Series Title
Theoretical Computer Science and General Issues
Series Volume
5010
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-79709-8
DOI
10.1007/978-3-540-79709-8
Softcover ISBN
978-3-540-79708-1
Edition Number
1
Number of Pages
XIII, 411
Topics