Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection



Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
October 26, 2022 09:00–10:00, Novosibirsk and Kazan 		 

Kleene star in substructural logics

Stepan Kuznetsov

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Video records:
MP4 214.2 Mb
Supplementary materials:
Adobe PDF 36.4 Kb
Adobe PDF 305.6 Kb

Number of views:
This page:114
Video files:13
Materials:22




Supplementary materials: Kuznetsov_Abstract.pdf (36.4 Kb) , Kuznetsov_Slides.pdf (305.6 Kb)

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