Pages that link to "Item:Q692919"
From MaRDI portal
The following pages link to On the expression complexity of equivalence and isomorphism of primitive positive formulas (Q692919):
Displaying 6 items.
- Generic expression hardness results for primitive positive formula comparison (Q1951576) (← links)
- Two-element structures modulo primitive positive constructability (Q2310436) (← links)
- The reducts of equality up to primitive positive interdefinability (Q3066793) (← links)
- The power of primitive positive definitions with polynomially many variables (Q3133171) (← links)
- (Q5381121) (← links)
- Decidability of Definability (Q5407040) (← links)