TermWare3 – term rewriting system, based on context-term calculus

Autor:	R.S. Shevchenko, Ruslan Shevchenko, A.Yu. Doroshenko
Rok vydání:	2019
Předmět:	Computer science
Zdroj:	PROBLEMS IN PROGRAMMING. :048-056
ISSN:	1727-4907
DOI:	10.15407/pp2019.01.048
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::65b5c71d95119da8c63bad0cb949b81d https://doi.org/10.15407/pp2019.01.048 Zobrazit plný text záznamu