31 - 40 out of 105Page size: 10
  1. 2020

  2. Well-Quasi Orders and Hierarchy Theory

    Selivanov, V., 1 Jan 2020, Well-Quasi Orders in Computation, Logic, Language and Reasoning. Vol. 53. p. 271-319 49 p. (Trends in Logic; vol. 53).

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

  3. 2019

  4. Computability on Quasi-Polish Spaces

    Hoyrup, M., Rojas, C., Selivanov, V. & Stull, D. M., 1 Jan 2019, Descriptional Complexity of Formal Systems. p. 171-183 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11612).

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

  5. On Classes of Regular Languages Related to Monotone WQOs

    Ogawa, M. & Selivanov, V., 1 Jan 2019, Descriptional Complexity of Formal Systems. p. 235-247 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11612).

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

  6. 2018

  7. Polynomial Computability of Fields of Algebraic Numbers

    Alaev, P. E. & Selivanov, V. L., 1 Jul 2018, In: Doklady Mathematics. 98, 1, p. 341-343 3 p.

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

  8. Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs (Extended abstract)

    Selivanova, S. V. & Selivanov, V. L., 1 Jan 2018, Sailing Routes in the World of Computation. p. 376-385 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10936).

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

  9. Polynomial-time presentations of algebraic number fields

    Alaev, P. & Selivanov, V., 1 Jan 2018, Sailing Routes in the World of Computation. p. 20-29 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10936).

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

  10. 2017

  11. Towards a descriptive theory of cb 0-spaces

    Selivanov, V., 1 Dec 2017, In: Mathematical Structures in Computer Science. 27, 8, p. 1553-1580 28 p.

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

  12. First order theories of some lattices of open sets

    Kudinov, O. & Selivanov, V., 25 Aug 2017, In: Logical Methods in Computer Science. 13, 3

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

  13. Computing solution operators of boundary-value problems for some linear hyperbolic systems of pdes

    Selivanova, S. & Selivanov, V., 1 Jan 2017, In: Logical Methods in Computer Science. 13, 4

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

  14. Extending Wadge theory to k-partitions

    Selivanov, V. L., 1 Jan 2017, Unveiling Dynamics and Complexity (CiE 2017). p. 387-399 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10307).

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

Previous 1 2 3 4 5 6 7 8 ...11 Next

ID: 42363115