Commutative rational term rewriting

DOI10.1007/978-3-030-68195-1_15MaRDI QIDQ2232282zbMATH OpenOpenAlexFDO

Authors Mamoru Ishizuka, Takahito Aoto, Munehiro Iwami

Publication date 4 October 2021

Full work available at URL https://doi.org/10.1007/978-3-030-68195-1_15

zbMATH Keywords

commutativityfinite automatarational term rewriting

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites work

• Fundamental properties of infinite trees
• scientific article; zbMATH DE number 1189296 (Why is no real title available?)
• scientific article; zbMATH DE number 1033559 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 919844 (Why is no real title available?)
• Rational rewriting
• Rational term rewriting revisited: decidability and confluence
• Term Rewriting and All That
• Term rewriting in \(\mathrm{CT}_\Sigma \)
• Unification theory

Cited in

(1)

• Elimination transformations for associative-commutative rewriting systems

This page was built for publication: Commutative rational term rewriting

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