default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSergei Soloviev 0001
Person information
- affiliation: IRIT, Toulouse, France
Other persons with the same name
- Sergei Soloviev — disambiguation page
- Sergei Soloviev 0002 — Weizmann Institute of Science, Israel
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[c19]Maksim Kalameyets
, Dmitry Levshun, Sergei Soloviev, Andrey Chechulin, Igor V. Kotenko:
Social networks bot detection using Benford's law. SIN 2020: 19:1-19:8
2010 – 2019
- 2019
- [j15]Sergei Soloviev:
Automorphisms of types in certain type theories and representation of finite groups. Math. Struct. Comput. Sci. 29(4): 511-551 (2019) - 2017
- [j14]Sergei Soloviev:
Studies of Hilbert's epsilon-operator in the USSR. FLAP 4(2) (2017) - [j13]Sergei Soloviev:
Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context. FLAP 4(4) (2017) - [c18]Zhaohui Luo, Sergei Soloviev:
Dependent Event Types. WoLLIC 2017: 216-228 - 2015
- [j12]Joe Lorkowski, Olga Kosheleva, Vladik Kreinovich, Sergei Soloviev:
How Design Quality Improves with Increasing Computational Abilities: General Formulas and Case Study of Aircraft Fuel Efficiency. J. Adv. Comput. Intell. Intell. Informatics 19(5): 581-584 (2015) - 2014
- [c17]Sergei Soloviev:
On Isomorphism of Dependent Products in a Typed Logical Framework. TYPES 2014: 274-287 - [e1]Nicholas Asher, Sergei Soloviev:
Logical Aspects of Computational Linguistics - 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings. Lecture Notes in Computer Science 8535, Springer 2014, ISBN 978-3-662-43741-4 [contents] - 2013
- [j11]Zhaohui Luo, Sergei Soloviev, Tao Xue:
Coercive subtyping: Theory and implementation. Inf. Comput. 223: 18-42 (2013) - [c16]Bertrand Boisvert, Louis Féraud, Sergei Soloviev:
Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification. MODELSWARD 2013: 62-74 - 2012
- [j10]Ralph Matthes, Sergei Soloviev:
Preface to the special issue: commutativity of algebraic diagrams. Math. Struct. Comput. Sci. 22(6): 901-903 (2012) - 2011
- [c15]Bertrand Boisvert, Louis Féraud, Sergei Soloviev:
Typed lambda-terms in categorical attributed graph transformation. AMMSE 2011: 33-47 - 2010
- [j9]Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev:
Attribute Computations in the DPoPb Graph Transformation Engine. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
2000 – 2009
- 2009
- [c14]Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev:
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach. CEE-SET 2009: 150-163 - 2008
- [j8]Ralph Matthes, Sergei Soloviev:
Preface to the special issue: isomorphisms of types and invertibility of lambda terms. Math. Struct. Comput. Sci. 18(4): 645-646 (2008) - [c13]Maxime Rebout, Louis Féraud, Sergei Soloviev:
A Unified Categorical Approach for Attributed Graph Rewriting. CSR 2008: 398-409 - 2007
- [j7]L. Méhats, Sergei Soloviev:
Coherence in SMCCS and equivalences on derivations in IMLL with unit. Ann. Pure Appl. Log. 147(3): 127-179 (2007) - 2006
- [c12]Freiric Barral, Sergei Soloviev:
Inductive Type Schemas as Functors. CSR 2006: 35-45 - 2005
- [j6]Sergei Soloviev:
Foreword. Math. Struct. Comput. Sci. 15(5): 821-823 (2005) - 2003
- [j5]Sergei Soloviev, Vladimir Orevkov:
On categorical equivalence of Gentzen-style derivations in IMLL. Theor. Comput. Sci. 303(1): 245-260 (2003) - [c11]Sergei Soloviev, David Chemouil:
Some Algebraic Structures in Lambda-Calculus with Inductive Types. TYPES 2003: 338-354 - [c10]David Chemouil, Sergei Soloviev:
Remarks on isomorphisms of simple inductive types. Mathematics, Logic and Computation @ ICALP 2003: 106-124 - 2002
- [c9]Yong Luo, Zhaohui Luo, Sergei Soloviev:
Weak Transitivity in Coercive Subtyping. TYPES 2002: 220-239 - 2000
- [j4]Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
Coherence and transitivity of subtyping as entailment. J. Log. Comput. 10(4): 493-526 (2000)
1990 – 1999
- 1999
- [c8]Zhaohui Luo, Sergei Soloviev:
Dependent Coercions. CTCS 1999: 152-168 - 1997
- [j3]Sergei Soloviev:
Proof of a Conjecture of S. Mac Lane. Ann. Pure Appl. Log. 90(1-3): 101-162 (1997) - [c7]Alexander E. Andreev, Sergei Soloviev:
A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log2(n)). Category Theory and Computer Science 1997: 197-209 - 1996
- [c6]Alex P. Jones, Zhaohui Luo, Sergei Soloviev:
Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. TYPES 1996: 173-195 - 1995
- [j2]Sergei Soloviev:
Reductions in Intuitionistic Linear Logic. Math. Struct. Comput. Sci. 5(4): 483-499 (1995) - [c5]Sergei Soloviev:
Proof of a S. Mac Lane Conjecture. Category Theory and Computer Science 1995: 59-80 - [c4]Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
A Logic of Subtyping (Extended Abstract). LICS 1995: 292-299 - 1993
- [j1]Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. Theor. Comput. Sci. 121(1&2): 323-349 (1993) - [c3]Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract). LICS 1993: 6-14 - [c2]Sergei Soloviev:
A Complete Axiom System for Isomorphism of Types in Closed Categories. LPAR 1993: 360-371
1980 – 1989
- 1988
- [c1]A. A. Babaev, Sergei Soloviev:
On conditions of full coherence in biclosed categories: a new application of proof theory. Conference on Computer Logic 1988: 3-8
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
