Journal "Software Engineering"
a journal on theoretical and applied science and technology
ISSN 2220-3397

Issue N6 2013 year

Computer Implementation of Redundant Rule Elimination in Conditional Rewrite Systems
D. V. Baranov , e-mail: Denis.Baranov@dataart.com

This paper describes the implementation of the redundancy elimination algorithm. It is based on a new algebraic system with the semantics of a collection of rules of the conditional equational theory or conditional term rewriting system.

Keywords: terms, equational theory, conditional rules, logical reduction, computer implementation
pp. 27–32