Normalization by leftmost innermost rewriting

DOI10.1007/3-540-56393-8_36OpenAlexW1577856049MaRDI QIDQ5881209FDOQ5881209

Authors: Sergio Antoy 

Publication date: 9 March 2023

Published in: Conditional Term Rewriting Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56393-8_36

Recommendations

• scientific article; zbMATH DE number 177827
• Term rewriting for normalization by evaluation.
• Compact normalisation trace via lazy rewriting
• scientific article; zbMATH DE number 1361483
• Term Rewriting and Applications

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Theory of software (68N99)

Cites Work

• Title not available (Why is that?)
• Proofs by induction in equational theories with constructors
• Computing in systems described by equations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstract data types and the development of data structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

• Normalization properties for shallow TRS and innermost rewriting
• Non-linear rewrite closure and weak normalization
• Title not available (Why is that?)
• Title not available (Why is that?)
• Compact normalisation trace via lazy rewriting
• Breaking through the normalization barrier: a self-interpreter for F-omega
• Title not available (Why is that?)
• Needed computations shortcutting needed steps

This page was built for publication: Normalization by leftmost innermost rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5881209)