scientific article; zbMATH DE number 1361483

zbMATH Open0941.68067MaRDI QIDQ4699301FDOQ4699301

Authors: Jaco van de Pol, Wan Fokkink 

Publication date: 10 November 1999

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

Recommendations

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

zbMATH Keywords

rewrite system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (8)

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

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)