1. Algebras of Binary Formulas for Compositions of Theories

    Emel’yanov, D. Y., Kulpeshov, B. S. & Sudoplatov, S. V., Sept 2020, In: Algebra and Logic. 59, 4, p. 295-312 18 p.

    Research output: Contribution to journalArticlepeer-review

  2. Algebras for definable families of theories

    Markhabatov, N. D. & Sudoplatov, S. V., 1 Jan 2019, In: Сибирские электронные математические известия. 16, p. 600-608 9 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 4 5 Next

ID: 3442877