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

• 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?)
• An algebraic definition for control structures
• Fundamental properties of infinite trees
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Transfinite reductions in orthogonal term rewriting systems

Cited in

(4)

• On equal -terms
• Rewrite systems for natural, integral, and rational arithmetic
• Commutative rational term rewriting
• 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)