A sequential reduction strategy

DOI10.1016/0304-3975(96)00041-2MaRDI QIDQ671504zbMATHOpenAlexFDO

Authors Sergio Antoy, Aart Middeldorp

Publication date 27 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(96)00041-2

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1761894
• 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

Cites work

• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1380887 (Why is no real title available?)
• Computing in systems described by equations
• Conditional rewrite rules: Confluence and termination
• NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems
• Programming in equational logic: Beyond strong sequentiality
• Sequential evaluation strategies for parallel-or and related reduction 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
• Rewriting strategies and strategic rewrite programs
• scientific article; zbMATH DE number 1966921 (Why is no real title available?)
• On abstract normalisation beyond neededness
• Optimal normalization in orthogonal term rewriting systems
• scientific article; zbMATH DE number 3986675 (Why is no real title available?)
• scientific article; zbMATH DE number 1761894 (Why is no real title available?)
• Default rules for Curry
• Context-sensitive rewriting strategies

This page was built for publication: A sequential reduction strategy

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