Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Osipov, Ilya Igorevich

Statistics Math-Net.Ru
Presentations: 1

Number of views:
This page:57

https://www.mathnet.ru/eng/person73169
List of publications on Google Scholar
List of publications on ZentralBlatt

Presentations in Math-Net.Ru
1. First-order formulae equivalent to modal formulae translations
I. I. Osipov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
April 24, 2012 18:30
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024