Number of items at this level: 6.
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).
This list was generated on Wed Feb 8 17:08:12 2023 CET.