The Non-Deterministic Strategy of Rewriting

Скорочена інформація про документ
dc.contributor.authorLetichevsky, A.A.
dc.contributor.authorLetichevskyi, O.A.
dc.contributor.authorPeschanenko, V.S.
dc.date.accessioned2015-06-16T20:18:19Z
dc.date.available2015-06-16T20:18:19Z
dc.date.issued2013
dc.description.abstractОписана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных спецификаций.uk_UA
dc.description.abstractThe Algebraic Programming System is described – the first term rewriting system, which uses the rewriting rules system and strategies separately and to Insertion Modeling System IMS – a basic system for the Verification of a Formal Specification system.uk_UA
dc.description.abstractОписано систему алгебраїчного програмування – першу систему переписування термів, яка розділила системи правил перепи- сування і стратегії, та систему інсерційного моделювання – базову для системи верифікації формальних специфікаційuk_UA
dc.identifier.citationThe Non-Deterministic Strategy of Rewriting / A.A. Letichevsky, O.A. Letichevskyi, V.S. Peschanenko // Управляющие системы и машины. — 2013. — № 6. — С. 53-58. — Бібліогр.: 15 назв. — англ.uk_UA
dc.identifier.issn0130-5395
dc.identifier.udc004.41,004.51
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/83220
dc.language.isoenuk_UA
dc.publisherМіжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН Україниuk_UA
dc.relation.ispartofУправляющие системы и машины
dc.statuspublished earlieruk_UA
dc.subjectИнформационные технологии и системыuk_UA
dc.titleThe Non-Deterministic Strategy of Rewritinguk_UA
dc.title.alternativeНедетермінована стратегія переписуванняuk_UA
dc.title.alternativeНедетерминированная стратегия переписыванияuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
10-Letichevskiy.pdf
Розмір:
275.61 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Управляющие системы и машины, 2013, № 6