×

zbMATH — the first resource for mathematics

Edit Profile

Kuznetsov, Stepan L’vovich

Compute Distance To:
Author ID: kuznetsov.s-l
Published as: Kuznetsov, S. L.; Kuznetsov, Stepan
Homepage: http://lpcs.math.msu.su/~sk/
External Links: MGP · Math-Net.Ru · dblp
Documents Indexed: 16 Publications since 2009
all top 5

Co-Authors

10 single-authored
4 Kanovich, Max I.
4 Scedrov, Andre
1 Morrill, Glyn V.
1 Nigam, Vivek
1 Okhotin, Alexander
1 Valentín, Oriol

Journals

2 Proceedings of the Steklov Institute of Mathematics
1 Moscow University Mathematics Bulletin
1 Journal of Applied Non-Classical Logics
1 Logic Journal of the IGPL

Fields

13 Mathematical logic and foundations (03-XX)
7 Computer science (68-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription