Open AccessTermWare3 – term rewriting system, based on context-term calculus
Author(s) -
Ruslan Shevchenko,
А.Yu. Doroshenko
Publication year - 2019
Publication title -
problems in programming
Language(s) - Uncategorized
Resource type - Journals
ISSN - 1727-4907
DOI - 10.15407/pp2019.01.048
Subject(s) - rewriting , term (time) , context (archaeology) , confluence , computer science , matching (statistics) , algebra over a field , transformation (genetics) , representation (politics) , programming language , mathematics , theoretical computer science , pure mathematics , paleontology , biochemistry , statistics , physics , chemistry , quantum mechanics , politics , gene , political science , law , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom