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

Article

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

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 Thu Nov 21 08:08:42 2019 CET.