Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5675)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): CSR: International Computer Science Symposium in Russia
Conference proceedings info: CSR 2009.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (33 papers)
-
Front Matter
-
Accepted Papers
Keywords
- Alphabet
- Erfüllbarkeitsproblem der Aussagenlogik
- Graph
- algorithm analysis
- automata theory
- classification
- complexity
- computability
- cryptography
- formal language
- linear optimization
- logic
- satisfiability
- verification
- word problems
- algorithm analysis and problem complexity
Editors and Affiliations
-
Sobolev Institute of Mathematics SB RAS, Novosibirsk, Russia
Anna Frid, Andrey Morozov
-
Max Planck Institute for Software Systems, Saarbrücken, Germany
Andrey Rybalchenko
-
Lehrstuhl für Theoretische Informatik, Institut für Informatik, Julius-Maximilians-Universität Würzburg, Am Hubland, Würzburg, Germany
Klaus W. Wagner
Bibliographic Information
Book Title: Computer Science - Theory and Applications
Book Subtitle: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings
Editors: Anna Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-03351-3
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN: 978-3-642-03350-6Published: 28 July 2009
eBook ISBN: 978-3-642-03351-3Published: 03 August 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 369
Topics: Theory of Computation, Algorithms, Formal Languages and Automata Theory, Mathematics of Computing, Computer Science Logic and Foundations of Programming, Coding and Information Theory