scientific article; zbMATH DE number 604876

zbMATH Open0810.68086MaRDI QIDQ4299853FDOQ4299853

Joachim Steinbach

Publication date: 12 July 1994

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

zbMATH Keywords

orderingcompiler

Mathematics Subject Classification ID

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

Cited In (2)

• Invariants, patterns and weights for ordering terms
• Title not available (Why is that?)

   Recommendations

• Extensions and comparison of simplification orderings 👍 👎
• Path of subterms ordering and recursive decomposition ordering revisited 👍 👎
• 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 Q4299853)