Statistics
Publications
5
Citations
159
H-Index
5
Active since
1991
Affiliations
S. Soloviev is an author at Université Toulouse III - Paul Sabatier specializing in computer science, mathematics, and predicate logic.
Publications per year
1991–2012
5
5
Coercive subtyping: Theory and implementation
Zhen Luo, S. Soloviev, Tao Xue · Information and Computation · 2012 · 44 citations · Full text
G. Loop, Kathleen Milsted, S. Soloviev · 2002 · 26 citations
Proof of a conjecture of S. Mac Lane
S. Soloviev · Annals of Pure and Applied Logic · 1997 · 17 citations
1–5 of 5