scientific article; zbMATH DE number 4050972

zbMATH Open0644.68042MaRDI QIDQ3787463FDOQ3787463

Authors: Wadoud Bousdira, J. L. Rémy 

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

Boolean expressionsconditional hierarchical specificationshierarchical contextual rewriting

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (4)

• Title not available (Why is that?)
• On sufficient completeness of conditional specifications
• Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
• Equational rules for rewriting logic

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)