Multi-level LP-Structures in Rewriting Systems

Cover Page

Cite item


An algebraic system containing the semantics of a set of rules of the conditional equational theory (or the conditional term rewriting system) is introduced. The following basic questions are considered for the given model: existence of logical closure, equivalent transformations, construction of logical reduction. The obtained results can be applied to analysis and automatic optimization of the corresponding set of rules.

About the authors

S D Makhortov

Voronezh State University

; Voronezh State University


Copyright (c) 2010 Махортов С.Д.

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies