Loading...
Loading...

Go to the content (press return)

Redundancy and subsumption in high-level replacement systems

Author
Valiente, G.; Kreowski, H.
Type of activity
Report
Date
1999-07
Code
R99-24
Repository
http://hdl.handle.net/2117/93042 Open in new window
Abstract
System verification in the broadest sense deals with those semantic properties that can be decided or deduced by analyzing a syntactical description of the system. Hence, one may consider the notions of redundancy and subsumption in this context as they are known from the area of rule-based systems. A rule is redundant if it can be removed without affecting the semantics of the system; it is subsumed by another rule if each application of the former one can be replaced by an application...
Citation
Valiente, G., Kreowski, H. "Redundancy and subsumption in high-level replacement systems". 1999.
Keywords
Redundancy, Semantics, Subsumption, System verification
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

Attachments