Rational rewriting

DOI10.1007/3-540-58338-6_90zbMath1493.68174OpenAlexW2998818374MaRDI QIDQ5096902

Paola Inverardi, Marisa Venturini Zilli

Publication date: 18 August 2022

Published in: Mathematical Foundations of Computer Science 1994 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58338-6_90

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (3)

Commutative rational term rewriting ⋮ Infinite normal forms for non-linear term rewriting systems ⋮ On equal \(\mu \)-terms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fundamental properties of infinite trees
• An algebraic definition for control structures
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Transfinite reductions in orthogonal term rewriting systems

This page was built for publication: Rational rewriting