scientific article; zbMATH DE number 604876

MaRDI QIDQ4299853zbMATH OpenFDO

Authors Joachim Steinbach

Publication date 12 July 1994

zbMATH Keywords

compilerordering

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42)

Recommendations

• Extensions and comparison of simplification orderings
• Path of subterms ordering and recursive decomposition ordering revisited
• scientific article; zbMATH DE number 794239
• scientific article; zbMATH DE number 1182797
• scientific article; zbMATH DE number 3921961

Cited in

(2)

• Invariants, patterns and weights for ordering terms
• scientific article; zbMATH DE number 5761834 (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 Q4299853)