Pages that link to "Item:Q598280"
From MaRDI portal
The following pages link to Algorithmic uses of the Feferman-Vaught theorem (Q598280):
Displaying 22 items.
- A Practical Approach to Courcelle's Theorem (Q5170276) (← links)
- Compositional Failure Detection in Structured Transition Systems (Q5200059) (← links)
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)
- Logical properties of random graphs from small addable classes (Q5227515) (← links)
- Where First-Order and Monadic Second-Order Logic Coincide (Q5278195) (← links)
- A Most General Edge Elimination Polynomial (Q5302041) (← links)
- Evaluations of Graph Polynomials (Q5302054) (← links)
- (Q5376663) (← links)
- Effective optimization with weighted automata on decomposable trees (Q5413875) (← links)
- Linear Recurrence Relations for Graph Polynomials (Q5452182) (← links)
- First-Order Model-Checking in Random Graphs and Complex Networks (Q5874510) (← links)
- The Complexity of Decomposing Modal and First-Order Theories (Q5892176) (← links)
- Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)
- Feferman-vaught decompositions for prefix classes of first order logic (Q6117143) (← links)
- Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes (Q6135763) (← links)
- On algebraic array theories (Q6192058) (← links)
- A monadic second-order version of Tarski's geometry of solids (Q6559162) (← links)
- How I got to like graph polynomials (Q6593617) (← links)
- Axiomatizing origami planes (Q6612818) (← links)
- Preservation theorems for Tarski's relation algebra (Q6635502) (← links)
- Extensions and limits of the Specker-Blatter theorem (Q6642890) (← links)
- When locality meets preservation (Q6649481) (← links)
