scientific article; zbMATH DE number 4092744

MaRDI QIDQ3819977zbMATH OpenFDO

Authors Wadoud Bousdira, J. L. Rémy

Publication date 1988

zbMATH Keywords

completenessconditional term rewriting systemshierarchical contextual rewritingimplementation

Mathematics Subject Classification ID

Theory of operating systems (68N25) Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 4090780
• Conditional rewrite rules
• scientific article; zbMATH DE number 4092821
• scientific article; zbMATH DE number 3921957
• scientific article; zbMATH DE number 4092749

Cited in

(2)

• REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies
• scientific article; zbMATH DE number 4090780 (Why is no real title available?)

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 Q3819977)