scientific article; zbMATH DE number 1361483

MaRDI QIDQ4699301zbMATH OpenFDO

Authors Jaco van de Pol, Wan Fokkink

Publication date 10 November 1999

zbMATH Keywords

rewrite system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Normalization by leftmost innermost rewriting
• Algebraic simulations
• Transformations and confluence for rewrite systems
• scientific article; zbMATH DE number 4047065

Cited in

(8)

• Remarks on Thatte's transformation of term rewriting systems
• Just-in-time: on strategy annotations
• Compiling a functional logic language: \textit{The Fair Scheme}
• Needed computations shortcutting needed steps
• Compiling collapsing rules in certain constructor systems
• scientific article; zbMATH DE number 5181783 (Why is no real title available?)
• Normalization by leftmost innermost rewriting
• Cones and foci: A mechanical framework for protocol verification

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