Termination and confluence in infinitary term rewriting

DOI10.2307/2586651zbMATH Open0927.68043OpenAlexW2107879081MaRDI QIDQ4254682FDOQ4254682

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

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

zbMATH Keywords

term rewriting

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Transfinite reductions in orthogonal term rewriting systems

Cited In (6)

• Title not available (Why is that?)
• Infinitary rewriting: meta-theory and convergence
• Infinitary rewriting: foundations revisited
• Infinitary affine proofs
• Conditions for confluence of innermost terminating term rewriting systems
• Title not available (Why is that?)

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)