OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Soloviev, Sergei"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 10.


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. Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context. (2017) IfCoLog Journal of Logics and their Applications, 4 (4). 817-840. ISSN 2055-3706

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

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

Luo, Zhaohui and Soloviev, Sergei and Xue, Tao. Coercive subtyping: Theory and implementation. (2013) Information and Computation, 223. 18-42. ISSN 0890-5401

Conference or Workshop Item

Martin-Dorel, Erik and Soloviev, Sergei. A Formal Study of Boolean Games with Random Formulas as Payoff Functions. (2018) In: 22nd International Conference on Types for Proofs and Programs (TYPES 2016), 23 May 2016 - 26 May 2016 (Novi Sad, Serbia).

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

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

Boisvert, Bertrand and Féraud, Louis and Soloviev, Sergei. Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification. (2013) In: 1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), 19 February 2013 - 21 February 2013 (Barcelone, Spain).

This list was generated on Sun Sep 26 00:06:48 2021 CEST.