1. 2018
  2. 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 proceedingConference contributionResearchpeer-review

  3. 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 proceedingConference contributionResearchpeer-review

  4. 2017
  5. 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 journalArticlepeer-review

  6. 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 journalArticlepeer-review

  7. 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 journalArticlepeer-review

  8. 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 proceedingConference contributionResearchpeer-review

  9. 2016
  10. Base-complexity classifications of qcb0-spaces1

    De Brecht, M., Schröder, M. & Selivanov, V., 1 Jan 2016, In: Computability. 5, 1, p. 75-102 28 p.

    Research output: Contribution to journalArticlepeer-review

  11. Efficient algorithms for membership in boolean hierarchies of regular languages

    Glaßer, C., Schmitz, H. & Selivanov, V., 1 Jan 2016, In: Theoretical Computer Science. 646, p. 86-108 23 p.

    Research output: Contribution to journalArticlepeer-review

  12. The boolean algebra of piecewise testable languages

    Konovalov, A. & Selivanov, V., 1 Jan 2016, Pursuit of the Universal. p. 292-301 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9709).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  13. 2015
  14. Some hierarchies of QCB0-spaces

    Schröder, M. & Selivanov, V., 1 Dec 2015, In: Mathematical Structures in Computer Science. 25, 8, p. 1799-1823 25 p.

    Research output: Contribution to journalArticlepeer-review

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

ID: 42363115