1. 2024
  2. Duality for Bi-Algebraic Lattices Belonging to the Variety of (0, 1)-Lattices Generated by the Pentagon

    Dziobiak, W. & Schwidefsky, M. V., 31 Jan 2024, In: Algebra and Logic. 63, 2, p. 114-140 27 p.

    Research output: Contribution to journalArticlepeer-review

  3. Computable Functionals of Finite Types in Montague Semantics

    Бурнистов, А. С. & Стукачев, А. И., 2024, In: Сибирские электронные математические известия. 21, 2, p. 1460-1472 13 p.

    Research output: Contribution to journalArticlepeer-review

  4. On the Group of Computable Automorphisms of the Linear Order of the Reals

    Kornev, R., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 405-419 15 p. 32. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14773 LNCS).

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

  5. 2023
  6. Stone Dualities for Distributive Posets

    Schwidefsky, M. V., Nov 2023, In: Algebra and Logic. 62, 5, p. 430-447 18 p., 4.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 Next

ID: 60174705