321 - 330 out of 397Page size: 10
  1. 2009

  2. Definability in the h-quasiorder of labeled forests

    Kudinov, O. V., Selivanov, V. L. & Zhukov, A. V., 1 Jun 2009, In: Annals of Pure and Applied Logic. 159, 3, p. 318-332 15 p.

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

  3. Undecidability in some structures related to computation theory

    Selivanov, V. L., 1 Feb 2009, In: Journal of Logic and Computation. 19, 1, p. 177-197 21 p.

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

  4. Hierarchies and reducibilities on regular languages related to modulo counting

    Selivanov, V. L., 1 Jan 2009, In: RAIRO - Theoretical Informatics and Applications. 43, 1, p. 95-132 38 p.

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

  5. 2008

  6. Wadge reducibility and infinite computations

    Selivanov, V., 1 Nov 2008, In: Mathematics in Computer Science. 2, 1, p. 5-36 32 p.

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

  7. Fine hierarchies and m-reducibilities in theoretical computer science

    Selivanov, V. L., 6 Oct 2008, In: Theoretical Computer Science. 405, 1-2, p. 116-163 48 p.

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

  8. Complexity of topological properties of regular ω-languages

    Selivanov, V. L. & Wagner, K. W., 4 Aug 2008, In: Fundamenta Informaticae. 83, 1-2, p. 197-217 21 p.

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

  9. Complexity of aperiodicity for topological properties of regular ω-languages

    Selivanov, V. L. & Wagner, K. W., 1 Jul 2008, Logic and Theory of Algorithms (CiE 2008). p. 533-543 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5028).

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

  10. A single h-BN layer on Pt(1 1 1)

    Ćavar, E., Westerström, R., Mikkelsen, A., Lundgren, E., Vinogradov, A. S., Ng, M. L., Preobrajenski, A. B. & Mårtensson, N., 1 May 2008, In: Surface Science. 602, 9, p. 1722-1726 5 p.

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

  11. The first Chern form on moduli of parabolic bundles

    Takhtajan, L. A. & Zograf, P., 1 May 2008, In: Mathematische Annalen. 341, 1, p. 113-135 23 p.

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

  12. Computing solutions of symmetric hyperbolic systems of PDE’s

    Selivanova, S. & Selivanov, V., 1 Jan 2008, Proceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008. p. 243-255 13 p.

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

Previous 1...29 30 31 32 33 34 35 36 ...40 Next

ID: 45531658