Browse by author
Lookup NU author(s): Dr Victor Khomenko
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
An algebraic specification of a new rewriting machine for fast rewriting of terms is considered. Theorems on the correctness of this specification are proved. A method for optimization of a strategy of iterative rewriting is proposed.
Author(s): Letichevskii A, Khomenko V
Publication type: Article
Publication status: Published
Journal: Cybernetics and Systems Analysis
Print publication date: 01/01/2002
ISSN (print): 1060-0396
ISSN (electronic): 1573-8337
Altmetrics provided by Altmetric