Pages that link to "Item:Q4928477"
From MaRDI portal
The following pages link to A Short Tutorial on Order-Invariant First-Order Logic (Q4928477):
Displayed 3 items.
- First-order definitions of subgraph isomorphism through the adjacency and order relations (Q2211263) (← links)
- On the locality of arb-invariant first-order formulas with modulo counting quantifiers (Q2974792) (← links)
- The descriptive complexity of subgraph isomorphism without numerics (Q5919541) (← links)