731 - 740 out of 1,003Page size: 10
  1. 2010

  2. On the Wadge reducibility of k-partitions

    Selivanov, V. L., 1 Jan 2010, In: Journal of Logic and Algebraic Programming. 79, 1, p. 92-102 11 p.

    Research output: Contribution to journal › Article › peer-review

  3. On equations over sets of integers

    Jez, A. & Okhotin, A., 2010, STACS 2010 - 27th International Symposium on Theoretical Aspects of Computer Science. p. 477-488 12 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 5).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  4. Remarks on the SLLN for linear random fields

    Banys, P., Davydov, Y. & Paulauskas, V., 2010, In: Statistics and Probability Letters. 80, 5-6, p. 489-496 8 p.

    Research output: Contribution to journal › Article › peer-review

  5. Задачи Санкт-Петербургской олимпиады школьников по математике 2010 года

    Берлов, С. Л., Иванов, С. В., Кохась, К. П., Петров, Ф. В., Смирнов, А. В. & Храбров, А. И., 2010, БХВ-Петербург.

    Research output: Book/Report/Anthology › Teaching materials › Education

  6. Равновесные положения плоского полигонального шарнирного механизма

    Жукова, А. & Панина, Г. Ю., 2010, Равновесные положения плоского полигонального шарнирного механизма. p. 226-234

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  7. 2009

  8. A Gandy theorem for abstract structures and applications to first-order definability

    Kudinov, O. V. & Selivanov, V. L., 1 Dec 2009, Mathematical Theory and Computational Practice (CiE 2009). p. 290-299 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5635).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  9. Finding efficient circuits using SAT-solvers

    Kojevnikov, A., Kulikov, A. S. & Yaroslavtsev, G., 9 Nov 2009, Theory and Applications of Satisfiability Testing - SAT 2009 - 12th International Conference, SAT 2009, Proceedings. p. 32-44 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5584 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  10. Periodic string comparison

    Tiskin, A., 9 Nov 2009, Combinatorial Pattern Matching (CPM 2009). p. 193-206 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5577 ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  11. On differentiation and harmonic numbers

    Mortenson, E., 1 Nov 2009, In: Utilitas Mathematica. 80, p. 53-57 5 p.

    Research output: Contribution to journal › Article › peer-review

  12. Ergodic properties of crystallization processes

    Davydov, Y. & Illig, A., Nov 2009, In: Journal of Mathematical Sciences . 163, 4, p. 375-381 7 p.

    Research output: Contribution to journal › Article › peer-review

Previous 1...70 71 72 73 74 75 76 77 ...101 Next

ID: 45528956