scientific article; zbMATH DE number 4211516

MaRDI QIDQ3358241zbMATH OpenFDO

Authors Zurab Khasidashvili

Publication date 1990

zbMATH Keywords

algorithmsnormal formpersistenceterm rewriting system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

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

Cited in

(8)

• The evaluation strategy for head normal form with and without on-demand flags
• A confluent rewriting system having no computable, one-step, normalizing strategy
• On the Normalization and Unique Normalization Properties of Term Rewrite Systems
• Reduction Strategies and Acyclicity
• scientific article; zbMATH DE number 1761894 (Why is no real title available?)
• Optimal normalization in orthogonal term rewriting systems
• Random Descent
• A sequential reduction strategy

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 Q3358241)