Pages that link to "Item:Q630293"
From MaRDI portal
The following pages link to On decidability of the decomposability problem for finite theories (Q630293):
Displayed 4 items.
- Algorithmic issues of AND-decomposition of Boolean formulas (Q300345) (← 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)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)