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

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

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


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




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

Прикладная дискретная математика, 2010, приложение к № 3, страницы 84–85 (Mi pdm226)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Математические основы информатики и программирования

Формальное доказательство семантической эквивалентности ядра языка АОП AspectTalk и языка ООП Smalltalk

Д. А. Стефанцов, А. Е. Крюкова

Томский государственный университет, г. Томск
PDF полного текста (354 kB) Список цитирования (1)
Список литературы:
PDF
HTML
Тип публикации: Статья
УДК: 004.423+519.682.1
Образец цитирования: Д. А. Стефанцов, А. Е. Крюкова, “Формальное доказательство семантической эквивалентности ядра языка АОП AspectTalk и языка ООП Smalltalk”, ПДМ, 2010, приложение к № 3, 84–85
Цитирование в формате AMSBIB
\RBibitem{SteKry10}
\by Д.~А.~Стефанцов, А.~Е.~Крюкова
\paper Формальное доказательство семантической эквивалентности ядра языка АОП AspectTalk и языка ООП Smalltalk
\jour ПДМ
\yr 2010
\pages 84--85
\issueinfo приложение к № 3
\mathnet{http://mi.mathnet.ru/pdm226}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/pdm226
  • https://www.mathnet.ru/rus/pdm/y2010/i12/p84
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Прикладная дискретная математика
    Статистика просмотров:
    Страница аннотации:270
    PDF полного текста:101
    Список литературы:38
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024