О разрешимости классов иерархий регулярных апериодических языков. В.Л. Селиванов (2002) Algebra i Logika
О разрешимости расширенных теорий сложения натуральных и целых чисел. А.А. Иванов (1984) Sibirskij matematiceskij zurnal
О разрешимости теории булевых алгебр с выделенным идеалом А.С. Морозов (1982) Sibirskij matematiceskij zurnal
О разрешимости теорий первого порядка групп и моноидов целочисленных матриц Ю.В. Нагребецкая (2000) Algebra i Logika
О разрешимых алгебрах Ли с одним определяющим соотношением. В.В. Талапов (1981) Sibirskij matematiceskij zurnal
О распознавании в реальное время отношения вхождения Ю.В. Матиясевич (1971) Zapiski naucnych seminarov Leningradskogo
О распознавании замещаемости в рекурсивных языках A.В. Гладкий, A.V. Gladkij, A.V. Gladkij, A.V. Gladkii, A.V. Gladkij (1963) Algebra i Logika
О распознавании инвариантных свойств алгорифмов Н.К. Косовский (1973) Zapiski naucnych seminarov Leningradskogo
О распознавании инвариантных свойств коротких алгорифмов Н.К. Косовский (1979) Zapiski naucnych seminarov Leningradskogo
О распознавании тавтологичности пропозициональных формул П.Ю. Суворов (1976) Zapiski naucnych seminarov Leningradskogo
О расширениях конструктивных линейных порядков. К.Ж. Кудайбергенов (1999) Sibirskij matematiceskij zurnal
О рациональном замыкании групповой алгебры линейно упорядоченной группы в теле рядов Мальцева. Н.И. Дубровин (1991) Sibirskij matematiceskij zurnal