scientific article; zbMATH DE number 4050972

MaRDI QIDQ3787463zbMATH OpenFDO

Authors Wadoud Bousdira, J. L. Rémy

Publication date 1988

zbMATH Keywords

Boolean expressionsconditional hierarchical specificationshierarchical contextual rewriting

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4090780
• Publication:3028332
• scientific article; zbMATH DE number 3921957
• scientific article; zbMATH DE number 1405629
• Context rewriting
• Subterm contextual rewriting
• scientific article; zbMATH DE number 2060761
• n-level rewriting systems
• Context-sensitive rewriting strategies

Cited in

(4)

• Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
• Equational rules for rewriting logic
• scientific article; zbMATH DE number 4090780 (Why is no real title available?)
• On sufficient completeness of conditional specifications

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3787463)