@incollection{Albers/10a,
AUTHOR = {Albers, Susanne},
TITLE = {Algorithms for energy management},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {1-11},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Aubrun-Beal/10,
AUTHOR = {Aubrun, Nathalie and B{\'e}al, Marie-Pierre},
TITLE = {Sofic and almost of finite type tree-shifts},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {12-24},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Benaissa-Mery/10,
AUTHOR = {Benaissa, Nazim and M{\'e}ry, Dominique},
TITLE = {Proof-based design of security protocols},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {25-36},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berlinkov/10,
AUTHOR = {Berlinkov, Mikhail V.},
TITLE = {Approximating the minimum length of synchronizing words is hard},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {37-47},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bollig-Helouet/10,
AUTHOR = {Bollig, Benedikt and H{\'e}lou{\"e}t, Lo{\"{i}}c},
TITLE = {Realizability of dynamic MSC languages},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {48-59},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bourgeois-Giannakos-Lucarelli-Milis-Paschos-Pottie/10,
AUTHOR = {Bourgeois, N. and Giannakos, A. and Lucarelli, G. and Milis, I. and Paschos, V.Th. and Potti{\'e}, O.},
TITLE = {The MAX QUASI-INDEPENDENT SET problem},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {60-71},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brihaye-Bruyere-De_Pril/10,
AUTHOR = {Brihaye, Thomas and Bruy{\`e}re, V{\'e}ronique and De Pril, Julie},
TITLE = {Equilibria in quantitative reachability games},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {72-83},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brzozowski-Jiraskova-Zou/10,
AUTHOR = {Brzozowski, Janusz and Jir{\'a}skov{\'a}, Galina and Zou, Chenglong},
TITLE = {Quotient complexity of closed languages},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {84-95},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Carton/10,
AUTHOR = {Carton, Olivier},
TITLE = {Right-sequential functions on infinite words},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {96-106},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fomin/10,
AUTHOR = {Fomin, Fedor V.},
TITLE = {Kernelization},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {107-108},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gajardo-Guillon/10,
AUTHOR = {Gajardo, Anah{\'{i}} and Guillon, Pierre},
TITLE = {Zigzags in Turing machines},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {109-119},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gate-Stewart/10,
AUTHOR = {Gate, James and Stewart, Iain A.},
TITLE = {Frameworks for logically classifying polynomial-time optimisation problems},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {120-131},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gawrychowski-Jez-Jez/10,
AUTHOR = {Gawrychowski, Pawe{\l} and Je{\.z}, Artur and Je{\.z}, {\L}ukasz},
TITLE = {Validating the Knuth-Morris-Pratt failure function, fast and online},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {132-143},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gimadeev-Vyalyi/10,
AUTHOR = {Gimadeev, R.A. and Vyalyi, M.N.},
TITLE = {Identical relations in symmetric groups and separating words with reversible automata},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {144-155},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gravin/10,
AUTHOR = {Gravin, Nick},
TITLE = {Time optimal $d$-list colouring of a graph},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {156-168},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Heinemann/10,
AUTHOR = {Heinemann, Bernhard},
TITLE = {The cantor space as a generic model of topologically presented knowledge},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {169-180},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hromkovic/10,
AUTHOR = {Hromkovi{\v{c}}, Juraj},
TITLE = {Algorithmics --- Is there hope for a unified theory?},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {181-194},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hung-Kloks/10,
AUTHOR = {Hung, Ling-Ju and Kloks, Ton},
TITLE = {Classifying rankwidth $k$-DH-graphs},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {195-203},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Itsykson/10,
AUTHOR = {Itsykson, Dmitry},
TITLE = {Lower bound on average-case complexity of inversion of Goldreich's function by drunken backtracking algorithms},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {204-215},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jager-Zhang/10,
AUTHOR = {J{\"a}ger, Gerold and Zhang, Weixiong},
TITLE = {A SAT based effective algorithm for the directed Hamiltonian cycle problem},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {216-227},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jansen-Sarma_MN/10,
AUTHOR = {Jansen, Maurice and Sarma M.N., Jayalal},
TITLE = {Balancing bounded treewidth circuits},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {228-239},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Johnson-Patel-Paulusma-Trunck/10,
AUTHOR = {Johnson, Matthew and Patel, Viresh and Paulusma, Dani{\"e}l and Trunck, Th{\'e}ophile},
TITLE = {Obtaining online ecological colourings by generalizing first-fit},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {240-251},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jozsa/10,
AUTHOR = {Jozsa, Richard},
TITLE = {Classical simulation and complexity of quantum computations},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {252-258},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kalinina/10,
AUTHOR = {Kalinina, Elena},
TITLE = {Prefix-free and prefix-correct complexities with compound conditions},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {259-265},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Karpovich/10,
AUTHOR = {Karpovich, Pavel},
TITLE = {Monotone complexity of a pair},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {266-275},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Krupski/10,
AUTHOR = {Krupski, Vladimir N.},
TITLE = {Symbolic models for single-conclusion proof logics},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {276-287},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Martyugin/10,
AUTHOR = {Martyugin, P.},
TITLE = {Complexity of problems concerning carefully synchronizing words for PFA and directing words for NFA},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {288-302},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Pan-Qian-Zheng/10,
AUTHOR = {Pan, Victor and Qian, Guoliang and Zheng, Ai-Long},
TITLE = {Advancing matrix computations with randomized preprocessing},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {303-314},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Plisko/10,
AUTHOR = {Plisko, Valery},
TITLE = {Transfinite sequences of constructive predicate logics},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {315-326},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Raghavan/10,
AUTHOR = {Raghavan, Prabhakar},
TITLE = {The quantitative analysis of user behavior online --- Data, models and algorithms},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {327-327},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Binkele-Raible-Fernau/10,
AUTHOR = {Binkele-Raible, Daniel and Fernau, Henning},
TITLE = {A faster exact algorithm for the Directed Maximum Leaf Spanning Tree problem},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {328-339},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Razborov/10,
AUTHOR = {Razborov, Alexander},
TITLE = {Complexity of propositional proofs},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {340-342},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Santha/10,
AUTHOR = {Santha, Miklos},
TITLE = {Quantization of random walks: Search algorithms and hitting time},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {343-343},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Schoning/10,
AUTHOR = {Sch{\"o}ning, Uwe},
TITLE = {Comparing two stochastic local search algorithms for constraint satisfaction problems},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {344-349},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Shur/10,
AUTHOR = {Shur, Arseny M.},
TITLE = {Growth of power-free languages over large alphabets},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {350-361},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Trahtman/10,
AUTHOR = {Trahtman, Avraham N.},
TITLE = {A partially synchronizing coloring},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {362-370},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Vereshchagin/10,
AUTHOR = {Vereshchagin, Nikolay},
TITLE = {An encoding invariant version of polynomial time computable distributions},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {371-383},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Yu/10,
AUTHOR = {Yu, Junhua},
TITLE = {Prehistoric phenomena and self-referentiality},
BOOKTITLE = {Proceedings of the 5th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2010 (Kazan, Russia, June 16-20, 2010)},
SERIES = {LNCS},
VOLUME = {6072},
PAGES = {384-396},
YEAR = {2010},
EDITOR = {Ablayev, Farid and Mayr, Ernst W.},
URL = {http://dx.doi.org/10.1007/978-3-642-13182-0_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}