RUS  ENG
Full version
SEMINARS
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
April 24, 2012 18:30, Moscow, Steklov Mathematical Institute

First-order formulae equivalent to modal formulae translations

I. I. Osipov

© Steklov Math. Inst. of RAS, 2024