Lempp S.,Lerman M.,SolomonDR ...

Новости

27 Января, 2025 «Базис» и ИСП РАН при поддержке «Фобос-НТ» обнаружили уязвимости в популярном открытом ПО виртуализации

13 Января, 2025 11 января 2025 года ушла из жизни Екатерина Михайловна Лаврищева

24 Декабря, 2024 На Открытой конференции ИСП РАН 2024 обсудили безопасность российского ПО и технологий искусственного интеллекта

Lempp S., Lerman M., Solomon D.R.

[2004]

Embedding finite lattices into the computably enumerable degrees – a status survey

Lect. Notes in Logic, 27, 206-229, Wellesley

?

article

Вернуться к поиску