Academia.eduAcademia.edu

Outline

Computer Science – Theory and Applications

2010, Lecture Notes in Computer Science

Abstract
sparkles

AI

The 5th International Computer Science Symposium in Russia (CSR 2010) hosted a variety of plenary lectures and discussions covering broad areas of theoretical computer science. This volume includes accepted papers, abstracts, and highlights from the symposium, addressing foundational issues and presenting awards for outstanding contributions in the field.

References (3)

  1. Quotient Complexity of Closed Languages . . . . . . . . . . . . . . . . . . . . . . . . . . .
  2. Janusz Brzozowski, Galina Jirásková, and Chenglong Zou Right-Sequential Functions on Infinite Words . . . . . . . . . . . . . . . . . . . . . . . . 96
  3. Olivier Carton Kernelization (Invited Talk) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 Fedor V. Fomin Zigzags in Turing Machines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109 Anahí Gajardo and Pierre Guillon Frameworks for Logically Classifying Polynomial-Time Optimisation Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120 James Gate and Iain A. Stewart Validating the Knuth-Morris-Pratt Failure Function, Fast and Online . . . 132 Pawe l Gawrychowski, Artur Jeż, and Lukasz Jeż Identical Relations in Symmetric Groups and Separating Words with Reversible Automata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144 R.A. Gimadeev and M.N. Vyalyi