TermWare-3 – система переписування термів, заснована на контекстному численні / Шевченко Р. С., Дорошенко А. Ю. (2019)
Ukrainian

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

Шевченко Р. С., Дорошенко А. Ю.
TermWare-3 – система переписування термів, заснована на контекстному численні

Бібліографічний опис:
Шевченко Р. С., Дорошенко А. Ю. TermWare-3 – система переписування термів, заснована на контекстному численні. Проблеми програмування. 2019. № 1. С. 48-56. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000971104

English  Problems in programming   /     Issue (2019, 1)

Shevchenko R. S., Doroshenko A. Yu.
TermWare-3 – term rewriting system, based on context-term calculus

Cite:
Shevchenko, R. S., Doroshenko, A. Yu. (2019). TermWare-3 – term rewriting system, based on context-term calculus. Problems in programming, 1, 48-56. http://jnas.nbuv.gov.ua/article/UJRN-0000971104 [In Ukrainian].

 

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

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