Цейтин Григорий Самуилович

Публикации в базе данных Math-Net.Ru

1. Верхняя оценка конечноавтоматной сложности для одного класса порождающих схем с операциями дополнения и пересечения
   
   Зап. научн. сем. ЛОМИ, 40 (1974),  14–23
2. Псевдофундаментальная последовательность, не эквивалентная монотонной
   
   Зап. научн. сем. ЛОМИ, 20 (1971),  263–271
3. Нижняя оценка числа шагов для обращающего нормального алгорифма и других аналогичных алгорифмов
   
   Зап. научн. сем. ЛОМИ, 20 (1971),  243–262
4. Приведенная форма нормальных алгорифмов и теорема о линейном ускорении
   
   Зап. научн. сем. ЛОМИ, 20 (1971),  234–242
5. Еще один конструктивный вариант теоремы Коши
   
   Зап. научн. сем. ЛОМИ, 20 (1971),  36–39
6. О верхних границах перечислимых множеств конструктивных вещественных чисел
   
   Тр. МИАН СССР, 113 (1970),  102–172
7. О дизъюнктивном ранге формул конструктивной арифметики
   
   Зап. научн. сем. ЛОМИ, 8 (1968),  260–271
8. О сложности вывода в исчислении высказываний
   
   Зап. научн. сем. ЛОМИ, 8 (1968),  234–259
9. Некоторые свойства $F$-чисел
   
   Зап. научн. сем. ЛОМИ, 8 (1968),  107–120
10. Три теоремы о конструктивных функциях
    
    Тр. МИАН СССР, 72 (1964),  537–543
11. К вопросу об обобщениях принципа конструктивного подбора
    
    Тр. МИАН СССР, 72 (1964),  344–347
12. Один способ изложения теории алгорифмов и перечислимых множеств
    
    Тр. МИАН СССР, 72 (1964),  69–98
13. О сингулярных покрытиях и связанных с ними свойствах конструктивных функций
    
    Тр. МИАН СССР, 67 (1962),  458–502
14. Теоремы о среднем значении в конструктивном анализе
    
    Тр. МИАН СССР, 67 (1962),  362–384
15. Алгорифмические операторы в конструктивных метрических пространствах
    
    Тр. МИАН СССР, 67 (1962),  295–361
16. Ассоциативное исчисление с неразрешимой проблемой эквивалентности
    
    Тр. МИАН СССР, 52 (1958),  172–189


17. Поправка
    
    УМН, 11:2(68) (1956),  251–2511