The Non-Deterministic Strategy of Rewriting
Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных спецификаций. The Algebraic Programming System is described – the first term rewri...
Saved in:
| Published in: | Управляющие системы и машины |
|---|---|
| Date: | 2013 |
| Main Authors: | , , |
| Format: | Article |
| Language: | English |
| Published: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/83220 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | The Non-Deterministic Strategy of Rewriting / A.A. Letichevsky, O.A. Letichevskyi, V.S. Peschanenko // Управляющие системы и машины. — 2013. — № 6. — С. 53-58. — Бібліогр.: 15 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862606173097689088 |
|---|---|
| author | Letichevsky, A.A. Letichevskyi, O.A. Peschanenko, V.S. |
| author_facet | Letichevsky, A.A. Letichevskyi, O.A. Peschanenko, V.S. |
| citation_txt | The Non-Deterministic Strategy of Rewriting / A.A. Letichevsky, O.A. Letichevskyi, V.S. Peschanenko // Управляющие системы и машины. — 2013. — № 6. — С. 53-58. — Бібліогр.: 15 назв. — англ. |
| collection | DSpace DC |
| container_title | Управляющие системы и машины |
| description | Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных спецификаций.
The 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.
Описано систему алгебраїчного програмування – першу систему переписування термів, яка розділила системи правил перепи- сування і стратегії, та систему інсерційного моделювання – базову для системи верифікації формальних специфікацій
|
| first_indexed | 2025-11-28T13:04:20Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-83220 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0130-5395 |
| language | English |
| last_indexed | 2025-11-28T13:04:20Z |
| publishDate | 2013 |
| publisher | Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| record_format | dspace |
| spelling | Letichevsky, A.A. Letichevskyi, O.A. Peschanenko, V.S. 2015-06-16T20:18:19Z 2015-06-16T20:18:19Z 2013 The Non-Deterministic Strategy of Rewriting / A.A. Letichevsky, O.A. Letichevskyi, V.S. Peschanenko // Управляющие системы и машины. — 2013. — № 6. — С. 53-58. — Бібліогр.: 15 назв. — англ. 0130-5395 https://nasplib.isofts.kiev.ua/handle/123456789/83220 004.41,004.51 Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных спецификаций. The 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. Описано систему алгебраїчного програмування – першу систему переписування термів, яка розділила системи правил перепи- сування і стратегії, та систему інсерційного моделювання – базову для системи верифікації формальних специфікацій en Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України Управляющие системы и машины Информационные технологии и системы The Non-Deterministic Strategy of Rewriting Недетермінована стратегія переписування Недетерминированная стратегия переписывания Article published earlier |
| spellingShingle | The Non-Deterministic Strategy of Rewriting Letichevsky, A.A. Letichevskyi, O.A. Peschanenko, V.S. Информационные технологии и системы |
| title | The Non-Deterministic Strategy of Rewriting |
| title_alt | Недетермінована стратегія переписування Недетерминированная стратегия переписывания |
| title_full | The Non-Deterministic Strategy of Rewriting |
| title_fullStr | The Non-Deterministic Strategy of Rewriting |
| title_full_unstemmed | The Non-Deterministic Strategy of Rewriting |
| title_short | The Non-Deterministic Strategy of Rewriting |
| title_sort | non-deterministic strategy of rewriting |
| topic | Информационные технологии и системы |
| topic_facet | Информационные технологии и системы |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/83220 |
| work_keys_str_mv | AT letichevskyaa thenondeterministicstrategyofrewriting AT letichevskyioa thenondeterministicstrategyofrewriting AT peschanenkovs thenondeterministicstrategyofrewriting AT letichevskyaa nedetermínovanastrategíâperepisuvannâ AT letichevskyioa nedetermínovanastrategíâperepisuvannâ AT peschanenkovs nedetermínovanastrategíâperepisuvannâ AT letichevskyaa nedeterminirovannaâstrategiâperepisyvaniâ AT letichevskyioa nedeterminirovannaâstrategiâperepisyvaniâ AT peschanenkovs nedeterminirovannaâstrategiâperepisyvaniâ AT letichevskyaa nondeterministicstrategyofrewriting AT letichevskyioa nondeterministicstrategyofrewriting AT peschanenkovs nondeterministicstrategyofrewriting |