scientific article; zbMATH DE number 1761894

MaRDI QIDQ4537513zbMATH OpenFDO

Authors Sergio Antoy, Aart Middeldorp

Publication date 1 July 2002

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• A sequential reduction strategy
• Optimal normalization in orthogonal term rewriting systems
• scientific article; zbMATH DE number 4211516
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Sequentiality in orthogonal term rewriting systems

Cited in

(16)

• Reducing sequences
• scientific article; zbMATH DE number 3931150 (Why is no real title available?)
• Leftmost outermost revisited
• Sequential evaluation strategies for parallel-or and related reduction systems
• A confluent rewriting system having no computable, one-step, normalizing strategy
• Reduction Strategies and Acyclicity
• scientific article; zbMATH DE number 4035204 (Why is no real title available?)
• An Addition Strategy for Reduct Construction
• scientific article; zbMATH DE number 1966921 (Why is no real title available?)
• Level-confluence of conditional rewrite systems with extra variables in right-hand sides
• Sequentiality, monadic second-order logic and tree automata.
• Optimal normalization in orthogonal term rewriting systems
• scientific article; zbMATH DE number 3986675 (Why is no real title available?)
• Minimal relative normalization in orthogonal expression reduction systems
• scientific article; zbMATH DE number 2185721 (Why is no real title available?)
• Relative normalization in Deterministic Residual Structures

This page was built for publication:

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