Infinite normal forms for non-linear term rewriting systems

DOI10.1016/0304-3975(94)00244-6MaRDI QIDQ672235zbMATH OpenOpenAlexFDO

Authors P. Inverardi, Monica Nesi

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(94)00244-6

zbMATH Keywords

nonorthogonal term rewriting systemsnonterminating rewrite relations

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 176143
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• scientific article; zbMATH DE number 4124993
• Infinite terms and infinite rewritings
• Lifting infinite normal form definitions from term rewriting to term graph rewriting

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 176143 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 3448081 (Why is no real title available?)
• scientific article; zbMATH DE number 919844 (Why is no real title available?)
• scientific article; zbMATH DE number 1389857 (Why is no real title available?)
• A complete axiomatisation for observational congruence of finite-state behaviours
• A rewriting strategy to verify observational congruence
• Branching time and abstraction in bisimulation semantics
• Deciding observational congruence of finite-state CCS expressions by rewriting
• Fundamental properties of infinite trees
• Rational rewriting
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Transfinite reductions in orthogonal term rewriting systems

Cited in

(8)

• Normalization of Infinite Terms
• scientific article; zbMATH DE number 4124993 (Why is no real title available?)
• Unique normal forms for nonlinear term rewriting systems: Root overlaps
• Infinite terms and infinite rewritings
• Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator
• Lifting infinite normal form definitions from term rewriting to term graph rewriting
• Semantics of non-terminating rewrite systems using minimal coverings
• scientific article; zbMATH DE number 176143 (Why is no real title available?)

This page was built for publication: Infinite normal forms for non-linear term rewriting systems

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