scientific article; zbMATH DE number 1497855

MaRDI QIDQ4499285zbMATH OpenFDO

Authors Mohamed Hamada

Publication date 5 March 2001

zbMATH Keywords

lazy conditional narrowing calculus

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Publication:4503959
• scientific article; zbMATH DE number 1692899
• scientific article; zbMATH DE number 1950452
• Completeness results for basic narrowing
• scientific article; zbMATH DE number 2217823

Cited in

(8)

• Completeness results for basic narrowing
• Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
• Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
• scientific article; zbMATH DE number 1692899 (Why is no real title available?)
• Level-confluence of conditional rewrite systems with extra variables in right-hand sides
• scientific article; zbMATH DE number 1950452 (Why is no real title available?)
• scientific article; zbMATH DE number 1507237 (Why is no real title available?)
• scientific article; zbMATH DE number 2217823 (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 Q4499285)