41 - 50 out of 105Page size: 10
  1. 2016

  2. 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 journal › Article › peer-review

  3. 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 journal › Article › peer-review

  4. 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 proceeding › Conference contribution › Research › peer-review

  5. 2015

  6. 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 journal › Article › peer-review

  7. Preface to the special issue: Computing with infinite data: Topological and logical foundations

    Berger, U., Brattka, V., Selivanov, V., Spreen, D. & Tsuiki, H., 28 Oct 2015, In: Mathematical Structures in Computer Science. 25, 7, p. 1463-1465 3 p.

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

  8. Base-complexity classifications of QCB0-spaces (Extended Abstract)

    de Brecht, M., Schröder, M. & Selivanov, V., 1 Jan 2015, Evolving Computability. p. 156-166 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9136).

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

  9. Hyperprojective hierarchy of qcb0-spaces

    Schröder, M. & Selivanov, V., 1 Jan 2015, In: Computability. 4, 1, p. 1-17 17 p.

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

  10. Towards the effective descriptive set theory

    Selivanov, V., 1 Jan 2015, Evolving Computability (CiE 2015). p. 324-333 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9136).

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

  11. 2014

  12. Boolean Algebras of Regular Languages

    Konovalov, A. S. & Selivanov, V. L., 1 Jan 2014, In: Algebra and Logic. 52, 6, p. 448-470 23 p.

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

  13. Hyperprojective hierarchy of qcb0-spaces

    Schröder, M. & Selivanov, V., 1 Jan 2014, Language, Life, Limits (CiE 2014). p. 352-361 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8493).

    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