Multi-level LP-Structures in Rewriting Systems

Cover Page

Abstract


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

Email: sd@expert.vrn.ru
; Voronezh State University

References

Statistics

Views

Abstract - 110

PDF (English) - 21

Cited-By



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