Open AccessTermWare3 – term rewriting system, based on context-term calculus
Author(s) -
Ruslan Shevchenko,
Anatoliy Doroshenko
Publication year - 2019
Publication title -
problemy programmirovaniâ
Language(s) - Uncategorized
Resource type - Journals
ISSN - 1727-4907
DOI - 10.15407/pp2019.01.048
Subject(s) - rewriting , term (time) , confluence , context (archaeology) , computer science , matching (statistics) , algebra over a field , transformation (genetics) , representation (politics) , programming language , mathematics , pure mathematics , paleontology , biochemistry , statistics , physics , chemistry , quantum mechanics , politics , gene , political science , law , biology