Infinitary rewriting: meta-theory and convergence

DOI10.1007/s00236-007-0043-2zbMath1120.68062OpenAlexW2084072743MaRDI QIDQ884993

Stefan Kahrs

Publication date: 7 June 2007

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

Full work available at URL: https://kar.kent.ac.uk/14587/1/Infinitary.pdf

zbMATH Keywords

metric completion

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (4)

Infinitary rewriting: closure operators, equivalences and models ⋮ Infinitary combinatory reduction systems ⋮ Modularity of Convergence in Infinitary Rewriting ⋮ Applications of infinitary lambda calculus

Uses Software

• Haskell

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metric interpretations of infinite trees and semantics of non deterministic recursive programs
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Universal algebra in higher types
• Spaces of continuous relations
• Continuous relations
• Convergence in topology
• Introduction to Metric-Preserving Functions
• The variable containment problem
• Lazy rewriting and eager machinery
• Tree generating regular systems
• Rewriting Techniques and Applications

This page was built for publication: Infinitary rewriting: meta-theory and convergence