Optimal normalization in orthogonal term rewriting systems
From MaRDI portal
(Redirected from Publication:5055799)
Recommendations
Cites work
- A refinement of strong sequentiality for term rewriting with constructors
- Computing in systems described by equations
- scientific article; zbMATH DE number 4211517 (Why is no real title available?)
- scientific article; zbMATH DE number 4090779 (Why is no real title available?)
- scientific article; zbMATH DE number 3735770 (Why is no real title available?)
- scientific article; zbMATH DE number 1348462 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- scientific article; zbMATH DE number 1142319 (Why is no real title available?)
- Minimal and Optimal Computations of Recursive Programs
- NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems
- Sequential evaluation strategies for parallel-or and related reduction systems
- Sequentiality in orthogonal term rewriting systems
Cited in
(26)- Perpetual reductions in -calculus
- Normalisation for higher-order calculi with explicit substitutions
- Descendants and origins in term rewriting.
- Perpetuality and uniform normalization in orthogonal rewrite systems
- The conflict-free reduction geometry
- The evaluation strategy for head normal form with and without on-demand flags
- Compact normalisation trace via lazy rewriting
- Approximations for strategies and termination
- Vicious circles in orthogonal term rewriting systems
- scientific article; zbMATH DE number 4211516 (Why is no real title available?)
- There is no best \(\beta \)-normalization strategy for higher-order reasoners
- On the Normalization and Unique Normalization Properties of Term Rewrite Systems
- Reduction Strategies and Acyclicity
- scientific article; zbMATH DE number 3986675 (Why is no real title available?)
- scientific article; zbMATH DE number 177827 (Why is no real title available?)
- Stable results and relative normalization
- scientific article; zbMATH DE number 1499097 (Why is no real title available?)
- scientific article; zbMATH DE number 1761894 (Why is no real title available?)
- The geometry of orthogonal reduction spaces
- Higher-order families
- Optimization of rewriting and complexity of rewriting
- Leftmost outermost revisited
- Relative normalization in Deterministic Residual Structures
- On the longest perpetual reductions in orthogonal expression reduction systems
- Minimal relative normalization in orthogonal expression reduction systems
- A sequential reduction strategy
This page was built for publication: Optimal normalization in orthogonal term rewriting systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055799)
