Наукова періодика України Управляющие системы и машины


Letichevsky A. A. 
The Non-Deterministic Strategy of Rewriting / A. A. Letichevsky, O. A. Letichevskyi, V. S. Peschanenko // Управляющие системы и машины. - 2013. - № 6. - С. 53-58. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2013_6_11
Описана система алгебраического программирования - первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования - базовая для системы верификации формальных спецификаций.
  Повний текст PDF - 282.222 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Letichevsky A.
  • Letichevskyi .
  • Peschanenko V.

  • Бібліографічний опис для цитування:

    Letichevsky A. A. The Non-Deterministic Strategy of Rewriting / A. A. Letichevsky, O. A. Letichevskyi, V. S. Peschanenko // Управляющие системы и машины. - 2013. - № 6. - С. 53-58. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2013_6_11.

      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     

       Всі права захищені © Національна бібліотека України імені В. І. Вернадського