Pages that link to "Item:Q2882989"
From MaRDI portal
The following pages link to Generalized decomposability notions for first-order theories (Q2882989):
Displaying 7 items.
- On decidability of the decomposability problem for finite theories (Q630293) (← links)
- A full first-order constraint solver for decomposable theories (Q1044229) (← links)
- On decomposability in logical calculi (Q2882946) (← links)
- (Q3695246) (← links)
- (Q5858677) (← links)
- The Complexity of Decomposing Modal and First-Order Theories (Q5892176) (← links)
- Feferman-vaught decompositions for prefix classes of first order logic (Q6117143) (← links)