About the theory of tree embedding

DOI10.1007/3-540-56610-4_77zbMath1497.03029OpenAlexW2107850390MaRDI QIDQ5044749

Alexandre Boudet, Hubert Comon

Publication date: 2 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56610-4_77

Mathematics Subject Classification ID

Trees (05C05) Decidability of theories and sets of sentences (03B25)

Related Items (4)

More problems in rewriting ⋮ Problems in rewriting III ⋮ Solving simplification ordering constraints ⋮ The first-order theory of lexicographic path orderings is undecidable

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• SOLVING SYMBOLIC ORDERING CONSTRAINTS
• Ordering by Divisibility in Abstract Algebras

This page was built for publication: About the theory of tree embedding