Успехи математических наук
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Загрузить рукопись
Историческая справка

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


УМН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Успехи математических наук, 1989, том 44, выпуск 1(265), страницы 35–55 (Mi rm1761)  
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

Некоторые открытые вопросы в теории схем программ и динамических логик

А. Д. Кфури, А. П. Столбоушкин, П. Ужичин
PDF полного текста (1513 kB) PDF английской версии (1448 kB) Список цитирования (3)
Список литературы:
PDF
HTML
Аннотация: В статье дается широкий обзор состояния теории схем программ и динамических логик, главное внимание при этом уделяется вопросам выразительности. В начале статьи приведены все необходимые определения. Освещается значительное количество результатов в этой области, как ставших уже классическими, так и недавних и сравнительно мало известных. Значительное внимание уделено обсуждению методов доказательства освещаемых результатов, хотя формальные доказательства и не приводятся. Часть статьи посвящена открытым вопросам теории, обсуждаются связанные с ними результаты и гипотезы.
Знакомство со статьей позволит читателю войти в обозреваемую проблематику, ориентироваться в ее методах и результатах. Обзор может служить и справочным материалом.
Библиогр. 57 назв.
Поступила в редакцию: 19.10.1987
Англоязычная версия:
Russian Mathematical Surveys, 1989, Volume 44, Issue 1, Pages 43–68
DOI: https://doi.org/10.1070/RM1989v044n01ABEH002007
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.49
MSC: 65T50, 68N15, 68N17
Образец цитирования: А. Д. Кфури, А. П. Столбоушкин, П. Ужичин, “Некоторые открытые вопросы в теории схем программ и динамических логик”, УМН, 44:1(265) (1989), 35–55; Russian Math. Surveys, 44:1 (1989), 43–68
Цитирование в формате AMSBIB
\RBibitem{KfoStoUrz89}
\by А.~Д.~Кфури, А.~П.~Столбоушкин, П.~Ужичин
\paper Некоторые открытые вопросы в~теории схем программ
и~динамических логик
\jour УМН
\yr 1989
\vol 44
\issue 1(265)
\pages 35--55
\mathnet{http://mi.mathnet.ru/rm1761}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=997683}
\zmath{https://zbmath.org/?q=an:0678.68007}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?1989RuMaS..44...43K}
\transl
\jour Russian Math. Surveys
\yr 1989
\vol 44
\issue 1
\pages 43--68
\crossref{https://doi.org/10.1070/RM1989v044n01ABEH002007}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1989CD32200003}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/rm1761
  • https://www.mathnet.ru/rus/rm/v44/i1/p35
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Успехи математических наук Russian Mathematical Surveys
    Статистика просмотров:
    Страница аннотации:480
    PDF русской версии:195
    PDF английской версии:13
    Список литературы:53
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024