Infinitary rewriting: closure operators, equivalences and models

DOI10.1007/s00236-012-0174-yzbMath1294.68098OpenAlexW2092528182MaRDI QIDQ2376981

Stefan Kahrs

Publication date: 26 June 2013

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-012-0174-y

zbMATH Keywords

topological spacesterm rewriting systemsmetric completionreduction sequencesinfinitary rewritinginfinite termsequational models

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Applications of universal algebra in computer science (08A70) Grammars and rewriting systems (68Q42)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of algebraic specification and formal software development.
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Infinitary rewriting: meta-theory and convergence
• Applications of infinitary lambda calculus
• Metric interpretations of infinite trees and semantics of non deterministic recursive programs
• Transfinite reductions in orthogonal term rewriting systems
• Terminal coalgebras in well-founded set theory
• Modularity of Convergence and Strong Convergence in Infinitary Rewriting
• Normalization of Infinite Terms
• Modularity of Convergence in Infinitary Rewriting
• Comparing Böhm-Like Trees
• Proving Infinitary Normalization
• PARTIAL ORDER INFINITARY TERM REWRITING AND BÖHM TREES
• INFINITARY REWRITING: FOUNDATIONS REVISITED
• Weak Convergence and Uniform Normalization in Infinitary Rewriting
• On topologies for function spaces

This page was built for publication: Infinitary rewriting: closure operators, equivalences and models