Pages that link to "Item:Q2133477"
From MaRDI portal
The following pages link to A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem (Q2133477):
Displaying 4 items.
- Structure and Power: an Emerging Landscape (Q5038563) (← links)
- Arboreal categories and equi-resource homomorphism preservation theorems (Q6131200) (← links)
- The pebble-relation comonad in finite model theory (Q6563056) (← links)
- The pebble-relation comonad in finite model theory (Q6649442) (← links)