Одна схема доказательств в дискретной математике
Ю.В. Матиясевич (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “О распознавании в реальное время отношения вхождения”
Одна схема доказательств в дискретной математике
Поиск периодичностей и идентификация подслов в реальное время
А.О. Слисенко (1981)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Распознавание и проверка изоморфизма циклических турниров за полиномиальное время
И.Н. Пономаренко (1991)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Однозначная (с точностью до ориентации) определяемость времени пространственной структурой множества событий.
Ю.Ф. Борисов (1987)
Sibirskij matematiceskij zurnal
Similarity:
О метаматематическом подходе к доказательству теорем дискретной математики
Ю.В. Матиясевич (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Существование неэффективизируемых оценок в теории экспоненциально диофантовых уравнений
Ю.В. Матиясевич (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Независимость в гиперграфах
Ю.А. Сушков (1982)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Достаточное условие сходимости монотонных последовательностей
Ю.В. Матиясевич (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969)
Ю.В. Матиясевич, А.О. Слисенко (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов
Ю.В. Матиясевич (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Упрощенное доказательство распознаваемости симметричности слов в реальное время на машинах Тьюринга
А.О. Слисенко (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О распределении супремума приращений броуновского локального времени
А.Н. Бородин (1985)
Zapiski naucnych seminarov Leningradskogo
Similarity: