Infinite terms and infinite rewritings

DOI10.1007/3-540-54317-1_84MaRDI QIDQ5881271zbMATH OpenOpenAlexFDO

Authors Michael J. O'Donnell, Yi-Yun Chen

Publication date 9 March 2023

Published in Conditional and Typed Rewriting Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54317-1_84

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 4124993
• Infinite normal forms for non-linear term rewriting systems
• scientific article; zbMATH DE number 1231494
• CPO models for infinite term rewriting
• scientific article; zbMATH DE number 176143

Cites work

• scientific article; zbMATH DE number 4124993 (Why is no real title available?)
• Computing in systems described by equations
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Testing confluence of nonterminating rewriting systems

Cited in

(16)

• On finite representations of infinite sequences of terms
• scientific article; zbMATH DE number 1189296 (Why is no real title available?)
• scientific article; zbMATH DE number 8328 (Why is no real title available?)
• Normalization of Infinite Terms
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Computing with Infinite Terms and Infinite Reductions
• Finite notations for infinite terms
• Quantifier elimination for infinite terms
• Unification and combination of a class of traversal strategies made with pattern matching and fixed-points
• Lifting infinite normal form definitions from term rewriting to term graph rewriting
• CPO models for infinite term rewriting
• scientific article; zbMATH DE number 176143 (Why is no real title available?)
• Proof Terms for Infinitary Rewriting
• Term rewriting in \(\mathrm{CT}_\Sigma \)
• Proving Infinitary Normalization
• Infinite normal forms for non-linear term rewriting systems

This page was built for publication: Infinite terms and infinite rewritings

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