Распознавание свойств исчислений по правилам вывода - Conference attendances

Распознавание свойств исчислений по правилам вывода Conference attendances

Language

Русский

Participant type

Секционный

Conference

Международная конференция "Мальцевские чтения", Новосибирск, 20-24 ноября 2017 г.,
20-24 Nov 2017 , Новосибирск

Authors

Maksimova Larisa Lʹvovna ¹ , Yun Veta Fedorovna ¹

Affiliations

1	Sobolev Institute of Mathematics, Siberian Branch of Russian Academy of Sciences, Novosibirsk, 630090, Russia

Максимова Л.Л. , Юн В.Ф.
Распознавание свойств исчислений по правилам вывода
Международная конференция "Мальцевские чтения", Новосибирск, 20-24 ноября 2017 г., 20-24 нояб. 2017