Convergence in infinitary term graph rewriting systems is simple

DOI10.1017/S0960129518000166MaRDI QIDQ4585010zbMATH OpenOpenAlexFDO

Authors Patrick Bahr

Publication date 5 September 2018

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129518000166

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Modes of convergence for term graph rewriting
• Modes of convergence for term graph rewriting
• scientific article; zbMATH DE number 7344705
• Infinitary term graph rewriting is simple, sound and complete
• scientific article; zbMATH DE number 1231494

Cites work

• scientific article; zbMATH DE number 3112450 (Why is no real title available?)
• scientific article; zbMATH DE number 3709584 (Why is no real title available?)
• scientific article; zbMATH DE number 108369 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• Concrete domains
• Initial Algebra Semantics and Continuous Algebras
• Lambda calculus with explicit recursion
• Modes of convergence for term graph rewriting
• Partial Order Infinitary Term Rewriting
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Skew confluence and the lambda calculus with letrec
• Terminal coalgebras in well-founded set theory
• Transfinite reductions in orthogonal term rewriting systems

Cited in

(4)

• Modes of convergence for term graph rewriting
• scientific article; zbMATH DE number 7344705 (Why is no real title available?)
• Infinitary term graph rewriting is simple, sound and complete
• Modes of convergence for term graph rewriting

This page was built for publication: Convergence in infinitary term graph rewriting systems is simple

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