Pages that link to "Item:Q1314267"
From MaRDI portal
The following pages link to Decidability of the existential theory of infinite terms with subterm relation (Q1314267):
Displaying 5 items.
- Complete axiomatizations of some quotient term algebras (Q685393) (← links)
- Rational terms and rational numbers (Q1882293) (← links)
- \(\Sigma_ 1^ 1\)-completeness of a fragment of the theory of trees with subtree relation (Q1893143) (← links)
- Deciding simple infinity axiom sets with one binary relation by means of superpostulates (Q2096446) (← links)
- On equality up-to constraints over finite trees, context unification, and one-step rewriting (Q5234685) (← links)