Rational rewriting

DOI10.1007/3-540-58338-6_90MaRDI QIDQ5096902zbMATH OpenOpenAlexFDO

Authors P. 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)

Cites work

• An algebraic definition for control structures
• Fundamental properties of infinite trees
• scientific article; zbMATH DE number 3917723 (Why is no real title available?)
• scientific article; zbMATH DE number 50648 (Why is no real title available?)
• scientific article; zbMATH DE number 176143 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 3448081 (Why is no real title available?)
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Transfinite reductions in orthogonal term rewriting systems

Cited in

(4)

• Commutative rational term rewriting
• Rewrite systems for natural, integral, and rational arithmetic
• On equal -terms
• Infinite normal forms for non-linear term rewriting systems

This page was built for publication: Rational rewriting

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