Pages that link to "Item:Q2106601"
From MaRDI portal
The following pages link to ASNP: a tame fragment of existential second-order logic (Q2106601):
Displaying 5 items.
- Using model theory to find decidable and tractable description logics with concrete domains (Q2090131) (← links)
- Existential Fixed-Point Logic as a Fragment of Second-Order Logic (Q2947165) (← links)
- Universal Horn Sentences and the Joint Embedding Property (Q5038201) (← links)
- ASNP: a tame fragment of existential second-order logic (Q6333329) (← links)
- Forbidden tournaments and the orientation completion problem (Q6668354) (← links)