scientific article; zbMATH DE number 1497855

zbMATH Open0967.68090MaRDI QIDQ4499285FDOQ4499285

Authors: Mohamed Hamada 

Publication date: 5 March 2001

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

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

zbMATH Keywords

lazy conditional narrowing calculus

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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
• Title not available (Why is that?)
• Level-confluence of conditional rewrite systems with extra variables in right-hand sides
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)