Sergei Soloviev

发表

Andrej Bauer, Robert Harper, Thierry Coquand, 2013, ArXiv.
Nicholas Asher, Sergei Soloviev, Nicholas Asher, 2014, Lecture Notes in Computer Science.
Giuseppe Longo, Sergei Soloviev, Kathleen Milsted, 2000, J. Log. Comput..
Sergei Soloviev, A. A. Babaev, 1988, Conference on Computer Logic.
David Chemouil, Sergei Soloviev, 2003, Electron. Notes Theor. Comput. Sci..
Sergei Soloviev, Vladimir Orevkov, 2003, Theor. Comput. Sci..
Giuseppe Longo, Sergei Soloviev, Kathleen Milsted, 1993, Theor. Comput. Sci..
Zhaohui Luo, Tao Xue, Sergei Soloviev, 2013, Inf. Comput..
Vladik Kreinovich, Olga Kosheleva, Sergei Soloviev, 2015, J. Adv. Comput. Intell. Intell. Informatics.
Sergei Soloviev, Freiric Barral, S. Soloviev, 2006, CSR.
Yong Luo, Zhaohui Luo, Sergei Soloviev, 2002, TYPES.
Zhaohui Luo, Sergei Soloviev, S. Soloviev, 1999, CTCS.
Ralph Matthes, Sergei Soloviev, 2012, Math. Struct. Comput. Sci..
Sergei Soloviev, F. Wideback, 2007 .
Sergei Soloviev, L. Méhats, S. Soloviev, 2007, Ann. Pure Appl. Log..
Giuseppe Longo, Sergei Soloviev, Kathleen Milsted, 1995, LICS 1995.
Sergei Soloviev, 2005, Math. Struct. Comput. Sci..
Zhaohui Luo, Sergei Soloviev, 2017, WoLLIC.
Louis Féraud, Sergei Soloviev, Maxime Rebout, 2008, CSR.
Sergei Soloviev, 1995, Category Theory and Computer Science.
Sergei Soloviev, Alexander E. Andreev, 1997, Category Theory and Computer Science.
Ralph Matthes, Sergei Soloviev, 2008, Math. Struct. Comput. Sci..
Giuseppe Longo, Sergei Soloviev, Kathleen Milsted, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Sergei Soloviev, S. Soloviev, 1996, Ann. Pure Appl. Log..
Christian Percebois, Ali Abou Dib, Louis Féraud, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Sergei Soloviev, S. Soloviev, 1995, Mathematical Structures in Computer Science.
Sergei Soloviev, S. Soloviev, 2018, Mathematical Structures in Computer Science.
Zhaohui Luo, Sergei Soloviev, Alex P. Jones, 1996, TYPES.
Louis Féraud, Sergei Soloviev, Bertrand Boisvert, 2011, AMMSE.
Giuseppe Longo, Sergei Soloviev, Kathleen Milsted, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
David Chemouil, Sergei Soloviev, S. Soloviev, 2003, TYPES.
Louis Féraud, Sergei Soloviev, Maxime Rebout, 2009, CEE-SET.
Sergei Soloviev, Jan Malakhovski, 2019, ArXiv.