×

zbMATH — the first resource for mathematics

Computer science – theory and applications. Second international symposium on computer science in Russia, CSR 2007, Ekaterinburg, Russia, September 3–7, 2007. Proceedings. (English) Zbl 1135.68001
Lecture Notes in Computer Science 4649. Berlin: Springer (ISBN 978-3-540-74509-9/pbk). xiii, 420 p. (2007).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1102.68006).
Indexed articles:
Gurevich, Yuri, Proving Church’s thesis. (Abstract), 1-3 [Zbl 1188.03026]
Aaronson, Scott, The limits of quantum computers, 4 [Zbl 1188.68143]
Alur, Rajeev, Marrying words and trees, 5 [Zbl 1167.68379]
Sutcliffe, Geoff, TPTP, TSTP, CASC, etc., 6-22 [Zbl 1188.68265]
Sénizergues, Géraud, Sequences of level \(1, 2, 3,\dots , k,\dots \), 24-32 [Zbl 1188.68219]
Aman, Bogdan; Ciobanu, Gabriel, Timers and proximities for mobile ambients, 33-43 [Zbl 1188.68202]
Amiri, Ehsan; Skvortsov, Evgeny, Pushing random walk beyond golden ratio, 44-55 [Zbl 1188.68268]
Axelsen, Holger Bock; Glück, Robert; Yokoyama, Tetsuo, Reversible machine code and its abstract processor architecture, 56-69 [Zbl 1188.68108]
Babenko, Maxim A., A fast algorithm for path 2-packing problem, 70-81 [Zbl 1188.05145]
Beauquier, Danièle; Duflot, Marie; Lifshits, Yury, Decidability of parameterized probabilistic information flow, 82-91 [Zbl 1188.68203]
Buhrman, Harry; Fortnow, Lance; Koucký, Michal; Rogers, John D.; Vereshchagin, Nikolay, Inverting onto functions and polynomial hierarchy, 92-103 [Zbl 1188.68144]
Datta, Samir; Kulkarni, Raghav; Limaye, Nutan; Mahajan, Meena, Planarity, determinants, permanents, and (unique) matchings, 115-126 [Zbl 1188.68151]
Glaßer, Christian; Herr, Katrin; Reitwießner, Christian; Travers, Stephen; Waldherr, Matthias, Equivalence problems for circuits over sets of natural numbers, 127-138 [Zbl 1188.68157]
Heinemann, Bernhard, A PDL-like logic of knowledge acquisition, 146-157 [Zbl 1188.03021]
Imani, Navid; Sarbazi-Azad, Hamid; Akl, Selim G., Resource placement in networks using chromatic sets of power graphs, 158-167 [Zbl 1188.68214]
Jeż, Artur; Okhotin, Alexander, Conjunctive grammars over a unary alphabet: Undecidability and unbounded growth, 168-181 [Zbl 1188.68165]
Jonsson, Peter; Krokhin, Andrei; Kuivinen, Fredrik, Ruling out polynomial-time approximation schemes for hard constraint satisfaction problems, 182-193 [Zbl 1188.68153]
Kulikov, Alexander S.; Kutzkov, Konstantin, New bounds for MAX-SAT by clause learning, 194-204 [Zbl 1188.68272]
Lifshits, Yury; Nowotka, Dirk, Estimation of the click volume by large scale regression analysis, 216-226 [Zbl 1188.68068]
Hoffmann, Benjamin; Lifshits, Yury; Nowotka, Dirk, Maximal intersection queries in randomized graph models, 227-236 [Zbl 1188.68349]
Lohrey, Markus; Schleimer, Saul, Efficient computation in groups via compression., 249-258 [Zbl 1188.20027]
Mahajan, Meena; Sarma M. N., Jayalal, On the complexity of matrix rank and rigidity, 269-280 [Zbl 1188.68158]
Perifel, Sylvain, Symmetry of information and nonuniform lower bounds, 315-327 [Zbl 1188.68148]
Podolskii, Vladimir V., Perceptrons of large weight, 328-336 [Zbl 1188.94053]
Poupet, Victor, A padding technique on cellular automata to transfer inclusions of complexity classes, 337-348 [Zbl 1188.68201]
Rumyantsev, Andrey Yu., Kolmogorov complexity, Lovász local lemma and critical exponents, 349-355 [Zbl 1188.68161]
Rybalov, Alexander N., Generic complexity of Presburger arithmetic, 356-361 [Zbl 1188.03028]
Saari, Kalle, Everywhere \(\alpha \)-repetitive sequences and Sturmian words, 362-372 [Zbl 1188.68218]
Sharp, Robin; Hansen, Michael R., Timed traces and strand spaces, 373-386 [Zbl 1188.68073]
V’yugin, Vladimir, On empirical meaning of randomness with respect to a real parameter, 387-396 [Zbl 1188.68162]
Tarasov, Sergey P.; Vyalyi, Mikhail N., An efficient algorithm for zero-testing of a lacunary polynomial at the roots of unity, 397-406 [Zbl 1188.68160]
Myasnikov, Alexei, Generic complexity of undecidable problems, 407-417 [Zbl 1188.03027]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Qxx Theory of computing
00B25 Proceedings of conferences of miscellaneous specific interest
Software:
TPTP
PDF BibTeX XML Cite
Full Text: DOI