Infinite terms and infinite rewritings

DOI10.1007/3-540-54317-1_84OpenAlexW1567375402MaRDI QIDQ5881271FDOQ5881271

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Computing in systems described by equations
• Title not available (Why is that?)
• Testing confluence of nonterminating rewriting systems

Cited In (16)

• On finite representations of infinite sequences of terms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Normalization of Infinite Terms
• Computing with Infinite Terms and Infinite Reductions
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• 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
• Title not available (Why is that?)
• 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)