Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Osipov, Ilya Igorevich
https://www.mathnet.ru/eng/person73169
List of publications on Google Scholar
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
