Pages that link to "Item:Q1271559"
From MaRDI portal
The following pages link to A restricted second order logic for finite structures (Q1271559):
Displaying 25 items.
- The language of plain SO-tgds: composition, inversion and structural properties (Q389222) (← links)
- Expressive completeness through logically tractable models (Q490672) (← links)
- On the expressive power of monadic least fixed point logic (Q817849) (← links)
- Affine systems of equations and counting infinitary logic (Q1014638) (← links)
- Expressive power and complexity of partial models for disjunctive deductive databases (Q1274974) (← links)
- The expressive power of \(k\)-ary exclusion logic (Q2273014) (← links)
- On symmetric circuits and fixed-point logics (Q2363965) (← links)
- Generalising automaticity to modal properties of finite structures (Q2373714) (← links)
- Arity hierarchies (Q2563982) (← links)
- The Expressive Power of k-ary Exclusion Logic (Q2820708) (← links)
- SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy (Q3224003) (← links)
- Semantic Restrictions over Second-Order Logic (Q3458159) (← links)
- On the Descriptive Complexity of Linear Algebra (Q3511442) (← links)
- Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs (Q3586010) (← links)
- (Q4005186) (← links)
- Finite Variable Logics in Descriptive Complexity Theory (Q4254565) (← links)
- A restricted second-order logic for non-deterministic poly-logarithmic time (Q5082331) (← links)
- (Q5232911) (← links)
- Schema Mappings: A Case of Logical Dynamics in Database Theory (Q5249666) (← links)
- Automated Reasoning (Q5307062) (← links)
- The Relational Polynomial-Time Hierarchy and Second-Order Logic (Q5504578) (← links)
- On Weisfeiler-Leman invariance: subgraph counts and related graph properties (Q5918849) (← links)
- The descriptive complexity of subgraph isomorphism without numerics (Q5919541) (← links)
- Nonstandard methods for finite structures (Q6096330) (← links)
- Inapproximability of unique games in fixed-point logic with counting (Q6563050) (← links)
