TermWare-3 – term rewriting system, based on context-term calculus / Shevchenko, R. S., Doroshenko, A. Yu. (2019)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000971104
  Problems in programming  Б - 2020  /     Issue (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].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209