Pages that link to "Item:Q2922020"

The following pages link to Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures (Q2922020):

Displayed 1 item.

• Successor-Invariant First-Order Logic on Classes of Bounded Degree (Q5145657) ‎ (← links)