The following pages link to (Q4271920):
Displaying 5 items.
- Decidability of the existential theory of infinite terms with subterm relation (Q1314267) (← 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)
- Undecidable fragments of elementary theories (Q1906521) (← links)
- Theories of orders on the set of words (Q3374756) (← links)