Reduction Strategies and Acyclicity

DOI10.1007/978-3-540-73147-4_5MaRDI QIDQ3608813zbMATHOpenAlexFDO

Authors Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk

Publication date 6 March 2009

Published in Rewriting, Computation and Proof (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73147-4_5

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• A sequential reduction strategy
• scientific article; zbMATH DE number 1761894
• Optimal normalization in orthogonal term rewriting systems
• scientific article; zbMATH DE number 4211516
• Vicious circles in orthogonal term rewriting systems

Cited in

(8)

• Random Descent
• A confluent rewriting system having no computable, one-step, normalizing strategy
• scientific article; zbMATH DE number 4035204 (Why is no real title available?)
• An Addition Strategy for Reduct Construction
• Highlights in infinitary rewriting and lambda calculus
• Optimal normalization in orthogonal term rewriting systems
• Cohesive avoidance and strong reductions
• Vicious circles in orthogonal term rewriting systems

This page was built for publication: Reduction Strategies and Acyclicity

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