Normalization by leftmost innermost rewriting

DOI10.1007/3-540-56393-8_36MaRDI QIDQ5881209zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• Abstract data types and the development of data structures
• Computing in systems described by equations
• scientific article; zbMATH DE number 4016182 (Why is no real title available?)
• scientific article; zbMATH DE number 3868579 (Why is no real title available?)
• scientific article; zbMATH DE number 3986617 (Why is no real title available?)
• scientific article; zbMATH DE number 4092748 (Why is no real title available?)
• scientific article; zbMATH DE number 177788 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• Proofs by induction in equational theories with constructors

Cited in

(9)

• Non-linear rewrite closure and weak normalization
• Breaking through the normalization barrier: a self-interpreter for F-omega
• Compact normalisation trace via lazy rewriting
• scientific article; zbMATH DE number 3947599 (Why is no real title available?)
• scientific article; zbMATH DE number 1361483 (Why is no real title available?)
• scientific article; zbMATH DE number 1405627 (Why is no real title available?)
• Needed computations shortcutting needed steps
• scientific article; zbMATH DE number 7324347 (Why is no real title available?)
• Normalization properties for shallow TRS and innermost rewriting

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)