Pages that link to "Item:Q630293"
From MaRDI portal
The following pages link to On decidability of the decomposability problem for finite theories (Q630293):
Displaying 12 items.
- On decidability of the theory with the transitive closure operator (Q266242) (← links)
- Algorithmic issues of AND-decomposition of Boolean formulas (Q300345) (← links)
- A formal derivation of the decidability of the theory SA (Q1325831) (← links)
- A note on the decidability of de Finetti's coherence (Q1891668) (← links)
- On the relationship between the complexity of decidability and decomposability of first-order theories (Q2062094) (← links)
- The complexity of AND-decomposition of Boolean functions (Q2181249) (← links)
- On decomposability in logical calculi (Q2882946) (← links)
- Generalized decomposability notions for first-order theories (Q2882989) (← links)
- (Q3338210) (← links)
- Decidability and complexity of fibred logics without shared connectives (Q4644566) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)
- A remark concerning decidability of complete theories (Q5800816) (← links)