Pages that link to "Item:Q2133477"

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):

Displayed 2 items.

• Structure and Power: an Emerging Landscape (Q5038563) ‎ (← links)
• Arboreal categories and equi-resource homomorphism preservation theorems (Q6131200) ‎ (← links)