Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Slavnov, Sergey
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1
Presentations: 1

Number of views:
This page:270
Abstract pages:311
Full texts:1
References:61
E-mail:

https://www.mathnet.ru/eng/person38315
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/745888

Publications in Math-Net.Ru Citations
2005
1. S. Slavnov, “On completeness of dynamic topological logic”, Mosc. Math. J., 5:2 (2005),  477–492  mathnet  mathscinet  zmath  isi 11

Presentations in Math-Net.Ru
1. Логика тензорных термов для категориальных грамматик: простое объединение коммутативных и некоммутативных операций линейной логики
S. Slavnov
Seminars "Proof Theory" and "Logic Online Seminar"
November 20, 2023 18:30   

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024