1. Электронный научный архив УрФУ

Просмотр коллекции по группе - По тематике BISIMULATION

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
или введите несколько первых букв:  
Отображение результатов 1 до 2 из 2
Дата публикацииНазваниеАвторы
2020A Lindström theorem in many-valued modal logic over a finite MTL-chainBadia, G.; Olkhovikov, G.
2017On expressive power of basic modal intuitionistic logic as a fragment of classical FOLOlkhovikov, G. K.
Отображение результатов 1 до 2 из 2