Одна схема доказательств в дискретной математике
Ю.В. Матиясевич (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: