41 - 50 out of 101Page size: 10
  1. 2015

  2. 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

  3. 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

  4. 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

  5. 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

  6. 2014

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

  8. 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

  9. 2013

  10. Total representations

    Selivanov, V., 11 Jun 2013, In: Logical Methods in Computer Science. 9, 2, p. 1-30 30 p.

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

  11. Boolean algebras of regular ω-languages

    Selivanov, V. & Konovalov, A., 1 Jan 2013, Language and Automata Theory and Applications (LATA 2013). p. 504-515 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7810).

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

  12. 2012

  13. Fine hierarchies via Priestley duality

    Selivanov, V., 1 Aug 2012, In: Annals of Pure and Applied Logic. 163, 8, p. 1075-1107 33 p.

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

  14. 2011

  15. Complexity issues for preorders on finite labeled forests

    Hertling, P. & Selivanov, V., 26 Sep 2011, Models of Computation in Context (CiE 2011). p. 112-121 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6735).

    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