Context term calculus for rewriting systems / Shevchenko, P. C. (2018)
Ukrainian

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].

 

Institute of Information Technologies of VNLU


+38 (044) 525-36-24
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209