scientific article; zbMATH DE number 2217823

MaRDI QIDQ5699561zbMATH OpenFDO

Authors Mircea Marin

Publication date 26 October 2005

zbMATH Keywords

\(E\)-unificationlazy narrowing

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 1950452
• A deterministic lazy narrowing calculus
• scientific article; zbMATH DE number 1692899
• Publication:4503959
• scientific article; zbMATH DE number 1497855

Cited in

(11)

• A deterministic lazy narrowing calculus
• scientific article; zbMATH DE number 1692899 (Why is no real title available?)
• A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation
• scientific article; zbMATH DE number 512892 (Why is no real title available?)
• scientific article; zbMATH DE number 1950452 (Why is no real title available?)
• scientific article; zbMATH DE number 1497855 (Why is no real title available?)
• scientific article; zbMATH DE number 1507237 (Why is no real title available?)
• scientific article; zbMATH DE number 1822269 (Why is no real title available?)
• Narrowing trees for syntactically deterministic conditional term rewriting systems
• Optimization by non-deterministic, lazy rewriting
• Lazy narrowing: strong completeness and eager variable elimination

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