Osipov Ilya Igorevich

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