Termination and confluence in infinitary term rewriting

DOI10.2307/2586651MaRDI QIDQ4254682zbMATH OpenOpenAlexFDO

Authors P. H. Rodenburg

Publication date 13 December 1999

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2586651

zbMATH Keywords

term rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Other infinitary logic (03C75)

Recommendations

• Rewriting Techniques and Applications
• Infinitary rewriting: foundations revisited
• On modularity in infinitary term rewriting
• Infinitary rewriting: closure operators, equivalences and models
• Infinitary rewriting: meta-theory and convergence

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Transfinite reductions in orthogonal term rewriting systems

Cited in

(6)

• scientific article; zbMATH DE number 7344705 (Why is no real title available?)
• Infinitary rewriting: meta-theory and convergence
• Conditions for confluence of innermost terminating term rewriting systems
• Infinitary rewriting: foundations revisited
• Infinitary affine proofs
• scientific article; zbMATH DE number 4074464 (Why is no real title available?)

This page was built for publication: Termination and confluence in infinitary term rewriting

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