scientific article; zbMATH DE number 176143

MaRDI QIDQ4035244zbMATH OpenFDO

Authors P. Inverardi, Monica Nesi

Publication date 18 May 1993

zbMATH Keywords

fair derivationsindependencepreservationretractionunfolding rulesuniform systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Infinite normal forms for non-linear term rewriting systems
• scientific article; zbMATH DE number 4124993
• Infinite terms and infinite rewritings
• On modularity in infinitary term rewriting
• Term rewriting in \(\mathrm{CT}_\Sigma \)

Cited in

(10)

• Lifting infinite normal form definitions from term rewriting to term graph rewriting
• Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator
• scientific article; zbMATH DE number 177827 (Why is no real title available?)
• scientific article; zbMATH DE number 4124993 (Why is no real title available?)
• More problems in rewriting
• Rational rewriting
• Infinite terms and infinite rewritings
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Infinite normal forms for non-linear term rewriting systems
• Deciding observational congruence of finite-state CCS expressions by rewriting

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