The following pages link to A First-Order Isomorphism Theorem (Q4337654):
Displaying 10 items.
- The isomorphism conjecture for constant depth reductions (Q619896) (← links)
- The complexity of satisfiability problems: Refining Schaefer's theorem (Q1015812) (← links)
- A constant-space sequential model of computation for first-order logic (Q1271562) (← links)
- Reductions in circuit complexity: An isomorphism theorem and a gap theorem (Q1276160) (← links)
- Investigations Concerning the Structure of Complete Sets (Q2821693) (← links)
- Indistinguishability and First-Order Logic (Q3502636) (← links)
- (Q3752606) (← links)
- A first-order isomorphism theorem (Q4281518) (← links)
- A comic page for the first isomorphism theorem (Q5047028) (← links)
- Strong Reductions and Isomorphism of Complete Sets (Q5458832) (← links)
