scientific article; zbMATH DE number 4208054

MaRDI QIDQ3356291zbMATH OpenFDO

Authors Zurab Khasidashvili

Publication date 1990

zbMATH Keywords

Church-Rosser propertyconservative extensions of formal mathematical theoriesExpression Reduction SystemRecursive Program SchemesTerm Rewriting System

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Combinatory logic and lambda calculus (03B40) Grammars and rewriting systems (68Q42)

Recommendations

• Processes, Terms and Cycles: Steps on the Road to Infinity
• On the longest perpetual reductions in orthogonal expression reduction systems
• Combinatory reduction systems: Introduction and survey
• Expression reduction systems with patterns
• scientific article; zbMATH DE number 2043524

Cited in

(11)

• Developing developments
• Nominal rewriting
• Expression reduction systems with patterns
• The Prismoid of Resources
• scientific article; zbMATH DE number 1231495 (Why is no real title available?)
• scientific article; zbMATH DE number 2043524 (Why is no real title available?)
• Development closed critical pairs
• Processes, Terms and Cycles: Steps on the Road to Infinity
• On the longest perpetual reductions in orthogonal expression reduction systems
• Expressing combinatory reduction systems derivations in the rewriting calculus
• Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility

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