Seminars: D. S. Shamkanov, Логика Кузнецова-Муравицкого и семантика компьютерных языков

Seminars

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
December 12, 2017 18:30, Moscow, Steklov Mathematical Institute

Логика Кузнецова-Муравицкого и семантика компьютерных языков

D. S. Shamkanov^ab

^a Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
^b National Research University "Higher School of Economics" (HSE), Moscow

Number of views:
This page:	223