Pages that link to "Item:Q3986920"
From MaRDI portal
The following pages link to Complexity of the theory of the binary tree with constants (Q3986920):
Displaying 5 items.
- \(\Sigma_ 1^ 1\)-completeness of a fragment of the theory of trees with subtree relation (Q1893143) (← links)
- The full binary tree cannot be interpreted in a chain (Q3066806) (← links)
- (Q3541514) (← links)
- Verification: Theory and Practice (Q5305660) (← links)
- The complexity of bicriteria tree-depth (Q5925612) (← links)