Pages that link to "Item:Q5145657"
From MaRDI portal
The following pages link to Successor-Invariant First-Order Logic on Classes of Bounded Degree (Q5145657):
Displaying 8 items.
- Succinctness of Order-Invariant Logics on Depth-Bounded Structures (Q4608722) (← links)
- Spectra and satisfiability for logics with successor and a unary function (Q5109229) (← links)
- (Q5144662) (← links)
- Successor-Invariant First-Order Logic on Classes of Bounded Degree (Q5145657) (← links)
- (Q5155682) (redirect page) (← links)
- Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes (Q5271050) (← links)
- Successor-invariant first-order logic on finite structures (Q5294027) (← links)
- Feferman-vaught decompositions for prefix classes of first order logic (Q6117143) (← links)