Список основных работ Г. С. Цейтина

  1. Г. С. Цейтин, "Относительно проблемы распознавания свойств ассоциативных исчислений", ДАН СССР, 107, ? 2 (1956), 209-212.
  2. Г. С. Цейтин, "Ассоциативное исчисление с неразрешимой проблемой эквивалентности", ДАН СССР, 107, ? 3 (1956), 370-371.
  3. Г. С. Цейтин, "Ассоциативное исчисление с неразрешимой проблемой эквивалентности", Тр. МИАН СССР, 52 (1958), 172-189.
  4. Г. С. Цейтин, "Алгорифмические операторы в конструктивных полных сепарабельных метрических пространствах". ДАН СССР , 128 (1959), 49-52.
  5. Г. С. Цейтин, "Алгорифмические операторы в конструктивных метрических пространствах", Тр. МИАН СССР, 67 (1962), 295-361.
  6. Г. С. Цейтин, "Теоремы о среднем значении в конструктивном анализе", Тр. МИАН СССР, 67 (1962), 362-384.
  7. И. Д. Заславский, Г. С. Цейтин, "О сингулярных покрытиях и связанных с ними свойствах конструктивных функций", Тр. МИАН СССР, 67 (1962), 458-502.
  8. Г. С. Цейтин, "Один способ изложения теории алгорифмов и перечислимых множеств", Тр. МИАН СССР, 72 (1964), 69-98.
  9. И. Д. Заславский, Г. С. Цейтин, "К вопросу об обобщениях принципа конструктивного подбора", Тр. МИАН СССР, 72 (1964), 344-347.
  10. Г. С. Цейтин, "Три теоремы о конструктивных функциях", Тр. МИАН СССР, 72 (1964), 537-543.
  11. S. Ya. Fitialov, G. S. Tseitin, "Estimates of the number of syntactical structures with various restrictions", Cybernetics, 2 (1966), no. 6, 68-76.
  12. Б. М. Лейкина, Т. Н. Никитина, М. И. Откупщикова, С. Я. Фитиалов, Г. С. Цейтин, "Система автоматического перевода, разрабатываемая в группе математической лингвистики ВЦ ЛГУ", Научно-техническая информация (1966), ? 1, 40-50; ? 4, 31.
  13. Б. А. Кушнер, Г. С. Цейтин, "Некоторые свойства F-чисел", Зап. научн. сем. ЛОМИ, 8 (1968), 107-120.
  14. Г. С. Цейтин, "О сложности вывода в исчислении высказываний", Зап. научн. сем. ЛОМИ, 8 (1968), 234-259.
    English version: G. S. Tseytin, "On the complexity of derivation in propositional calculus", Studies in constructive mathematics and mathematical logic, part 2 (A. O. Slisenko, editor), Consultants Bureau, New York, 1970, pp. 115-125.
  15. Г. С. Цейтин, "О дизъюнктивном ранге формул конструктивной арифметики", Зап. научн. сем. ЛОМИ, 8 (1968), 260-271.
  16. Г. С. Цейтин, Исследования по конструктивному анализу (конструктивные вещественные числа и точечно-определенные функции). Автореферат докторской диссертации. ЛГУ, 1968.
  17. G. S. Tseitin, I. D. Zaslavsky, N. A. Shanin, "Peculiarities of constructive mathematical analysis", Proc. Internat. Congr. Math. (Moscow, 1966), 1968. pp. 253-261.
  18. Г. С. Цейтин, "О верхних границах перечислимых множеств конструктивных вещественных чисел", Тр. МИАН СССР, 113 (1970), 102-172.
    English version: G. S. Tseytin, "The upper bounds of enumerable sets of constructive real numbers", Proc. Steklov Inst. Math., 113 (1970), 119-194.
  19. И. Д. Заславский, Г. С. Цейтин, "Критерий спрямляемости крнструктивных плоских кривых", Изв. АН Арм ССР, сер. матем., 5 (1970), ? 5, 434-440.
  20. Г. С. Цейтин, "Логико-математическии подход к построению экономико-информационной системы", Методы вычислений, вып. 6. Изд. Ленинградского ун-та, 1970, 107-127.
  21. И. Д. Заславский, Г. С. Цейтин, "Еще один конструктивный вариант теоремы Коши", Зап. научн. сем. ЛОМИ, 20 (1971), 36-39.
    English version: G. S. Tseytin, I. D. Zaslavsky, "Another constructive version of the Cauchy theorem", J. Math. Sci. 1 (1973), pp. 19-21.
  22. Г. С. Цейтин, "Приведенная форма нормальных алгорифмов и теорема о линейном ускорении", Зап. научн. сем. ЛОМИ, 20 (1971), 234-242.
    Reduced form of normal algorithms and a linear acceleration theorem. J. Math. Sci. 1 (1973), pp. 148-153.
  23. Г. С. Цейтин, "Нижняя оценка числа шагов для обращающего нормального алгорифма и других аналогичных алгорифмов", Зап. научн. сем. ЛОМИ, 20 (1971), 243-262.
    English version: G. S. Tseytin, "Lower estimate of the number of steps for an inverting normal algorithm and other similar algorithms. J. Math. Sci. 1 (1973), pp. 154-168.
  24. Г. С. Цейтин, "Псевдофундаментальная последовательность, не эквивалентная монотонной", Зап. научн. сем. ЛОМИ, 20 (1971), 263-271.
    English version: G. S. Tseytin, "A pseudo-fundamental sequence that is not equivalent to any monotone sequence", J. Math. Sci. 1 (1973), pp. 169-175.
  25. Г. С. Цейтин, "Алгоритм для упрощенного синтаксического анализа", Проблемы кибернетики, ? 24 (1971), 227-242.
  26. Г. С. Цейтин, А. А. Чубарьян, "Некоторые оценки длины логического вывода в классическом исчислении высказываний", ДАН Арм ССР, 55 (1972), 10-12.
  27. G. S. Tseitin, "Features of natural languages in programming languages", Logic, methodology and philosophy of science, IV (Proc. Fourth Internat. Congress, Bucharest, 1971), pp. 215-222. Studies in Logic and Foundations of Math., 74, North-Holland, Amsterdam, 1973.
    Русский перевод: Г. С. Цейтин, "Черты естественных языков в языках программирования", Машинный перевод и прикладная лингвистика. - М., МГПИИЯ, вып. 17, с. 134-143.
  28. З. Р. Данг, Г. С. Цейтин, "Верхняя оценка конечноавтоматной сложности для одного класса порождающих схем с операциями дополнения и пересечения", Зап. научн. сем. ЛОМИ, 40 (1974), 14-23.
  29. G. S. Tseitin, "Some features of a language for a proof-checking programming system", International Symposium on Theoretical Programming (Novosibirsk, 1972), pp. 394-407. Lecture Notes in Comput. Sci., 5, Springer, Berlin, 1974.
  30. Г. С. Цейтин, А. А. Чубарьян, "Некоторые оценки длин логических выводов в классическом исчислении высказываний". Труды Вычисл. Центра АН Арм. ССР и Ереванского гос. университета. Вопросы кибернет. и вычисл. техн., 8 (1975), 57-64.
  31. Алгол 68: Методы реализации. Под ред. Г. С. Цейтина; Л : Изд-во Ленингр. ун-та, 1976, 224 с.
  32. G. S. Tseytin, "From logicism to proceduralism (an autobiographical account)", Algorithms in modern mathematics and computer science (Urgench, 1979), pp. 390-396, Lecture Notes in Comput. Sci., 122, Springer, Berlin-New York, 1981.
    Pycский перевод: Г. С. Цейтин. "От логицизма к процедурализму. На автобиографическом материале". В сб.: Алгоритмы в современной математике и ее приложениях, ВЦ СОАН, Новосибирск, 1982, ч.2, с. 181-193.
  33. Г. С. Цейтин "О взаимоотношении между естественным языком и формальной моделью", в кн.: Вопросы кибернетики. Общение с ЭВМ на естественном языке, М., 1982, 20-34.
  34. G. S. Tseitin, "On the complexity of derivation in propositional calculus". In: Automation of Reasoning: Classical Papers on Computational Logic 1967-1970, Siekmann, J.H., Wrightson, G. (eds). Springer, Berlin, Heidelberg, 1983, pp. 466-483.
  35. Г. С. Цейтин, "Программирование на ассоциативных сетях", в кн.: ЭВМ в проектировании и производстве, Л.: Машиностроение, 1985, 16-48.
  36. G. S. Tseytin, "The relationship between mathematical and ordinary thought", Soviet J. Comput. Systems Sci., 26 (1988), no. 1, 163-166.
  37. Г. С. Цейтин, "О взаимоотношении между математическим и обычным мышлением" Изв. АН СССР, сер. Техническая кибернетика, ? 2 (1987), 193-196.
  38. М. М. Железняков, Т. Н. Невлева, И. М. Новицкая, Л. Н. Смирнова, Г. С. Цейтин, "Опыт построения модели "текст → действительность" с использованием ассоциативных сетей", в кн.: Машинный фонд русского языка: предпроектные исследования. М.: ИРЯ АН СССР, 1988. С.140-167.
  39. Г. С. Цейтин, "На пути к сборочному программированию", Программирование, 1990, ? 1, 78-92.
  40. G. S. Tseytin. "On some mechanisms of representation of meaning in natural languages", The Prague Bulletin of Mathematical Linguistics, no. 65-66, pp. 5-12 (1996).
  41. G. S. Tseytin. "Bottom-up and top-down approaches to text analysis." ELSNET goes East and EMACS Workshop on Integration of Language and Speech (November 9-11, 1995, Moscow, Russia), Proceedings. Moscow, 1996, pp. 210-214.
  42. Г. С. Цейтин, "Является ли математика частью информатики?", Компьютерные инструменты в образовании, ? 5 (1999), 3-7.
  43. G. S. Tseytin, "Association nets: an alternative formalization of common thinking." Lecture Notes in Computer Science, 1234, 385-398, Springer, 1997.
  44. G. S. Tseytin, "A formalization of reasoning not derived from standard predicate logic", Logical foundations of computer science (Yaroslavl, 1997). Theoret. Comput. Sci., 224 (1999), no. 1-2, 291-317.
  45. G. Tseytin, M. Hofmann, M. O'Mahony, D. Lyons. "Tracing individual public transport customers from an anonymous transaction database", Journal of Public Transportation (National Center of Transit Research, University of South Florida), 9, no 4 (2006), 47-60.