Reduction Strategies and Acyclicity

DOI10.1007/978-3-540-73147-4_5zbMATH Open1186.68237OpenAlexW1777396002MaRDI QIDQ3608813FDOQ3608813

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (8)

• Optimal normalization in orthogonal term rewriting systems
• A confluent rewriting system having no computable, one-step, normalizing strategy
• An Addition Strategy for Reduct Construction
• Title not available (Why is that?)
• Highlights in infinitary rewriting and lambda calculus
• Random Descent
• 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)