Pages that link to "Item:Q2882946"
From MaRDI portal
The following pages link to On decomposability in logical calculi (Q2882946):
Displaying 10 items.
- Algorithmic issues of AND-decomposition of Boolean formulas (Q300345) (← links)
- On decidability of the decomposability problem for finite theories (Q630293) (← 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)
- AND–Decomposition of Boolean Polynomials with Prescribed Shared Variables (Q2795943) (← links)
- (Q3074127) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)
- Decomposing Quantified Conjunctive (or Disjunctive) Formulas (Q5506695) (← links)
- (Q5554987) (← links)
- Feferman-vaught decompositions for prefix classes of first order logic (Q6117143) (← links)