Items where Institution is :Other partners > National Research University of Information Technologies, Mechanics and Optics of St- Petersburg - ITMO (RUSSIA)

Orlova, Nadezda and Soloviev, Sergei Logic and logicians in Russia before 1917: Living in a wider world. (2019) Historia Mathematica, 46. 38-55. ISSN 0315-0860

Soloviev, Sergei Automorphisms of Types in Certain Type Theories and Representation of Finite Groups. (2018) Mathematical Structures in Computer Science, 29 (4). 511-551. ISSN 0960-1295

Soloviev, Sergei Studes of Hilbert's Epsilon Operator in the USSR. (2017) The IfCoLog Journal of Logics and their Applications, 4 (2). 425-434. ISSN 2055-3706

Luo, Zhaohui and Soloviev, Sergei Dependent Event Types. (2017) In: 24th International Workshop Logic, Language, Information, and Computation (WoLLIC 2017), 18 July 2017 - 21 July 2017 (London, United Kingdom).

Lorkowski, Joe and Kosheleva, Olga and Kreinovich, Vladik and Soloviev, Sergei How Design Quality Improves with Increasing Computational Abilities: General Formulas and Case Study of Aircraft Fuel Efficiency. (2015) Journal of Advanced Computational Intelligence and Intelligent Informatics (JACIII), 19 (5). 581-584. ISSN 1343-0130

Soloviev, Sergei On Isomorphism of Dependent Products in a Typed Logical Framework. (2015) In: 20th International Conference on Types for Proofs and Programs (TYPES 2014), 12 May 2014 - 15 May 2014 (Paris, France).