Числення контекстних термів для систем переписування / Шевченко P. C. (2018)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000882035
  Проблеми програмування  Б - 2020  /     Випуск (2018, № 2-3)

Шевченко P. C.
Числення контекстних термів для систем переписування

Бібліографічний опис:
Шевченко P. C.  Числення контекстних термів для систем переписування. Проблеми програмування. 2018. № 2-3. С. 21-30. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000882035

English  Problems in programming   /     Issue (2018, 2-3)

Shevchenko P. C.
Context term calculus for rewriting systems

Cite:
Shevchenko, P. C. (2018). Context term calculus for rewriting systems. Problems in programming, 2-3, 21-30. http://jnas.nbuv.gov.ua/article/UJRN-0000882035 [In Ukrainian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна