RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Soprunov Sergei Fedorovich

Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1
in MathSciNet: 1
in Web of Science: 2
in Scopus: 1
Presentations: 1

Number of views:
This page:182
Abstract pages:170
References:39
E-mail:

http://www.mathnet.ru/eng/person71404
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
1. A combinatorial version of the Svenonius theorem on definability
A. L. Semenov, S. F. Soprunov
Log. J. IGPL, 23:6 (2015),  966–975
2. Finite quantifier hierarchies in relational algebras
A. L. Semenov, S. F. Soprunov
Tr. Mat. Inst. Steklova, 274 (2011),  291–296

Presentations in Math-Net.Ru
1. The lattice of relational algebras definable in integers with successor
International workshop "Logical Models of Reasoning and Computation"
February 3, 2012 12:45   

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017