Rational rewriting

DOI10.1007/3-540-58338-6_90zbMATH Open1493.68174OpenAlexW2998818374MaRDI QIDQ5096902FDOQ5096902

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

• Fundamental properties of infinite trees
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Transfinite reductions in orthogonal term rewriting systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• An algebraic definition for control structures
• Title not available (Why is that?)

Cited In (4)

• Rewrite systems for natural, integral, and rational arithmetic
• On equal \(\mu \)-terms
• 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)