Pages that link to "Item:Q3644737"
From MaRDI portal
The following pages link to Fixed-Point Definability and Polynomial Time (Q3644737):
Displaying 5 items.
- Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (Q3012933) (← links)
- (Q3639069) (← links)
- Strong extension axioms and Shelah's zero-one law for choiceless polynomial time (Q4457727) (← links)
- Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time (Q4608731) (← links)
- Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time (Q5278405) (← links)
