scientific article
From MaRDI portal
Publication:2882946
zbMath1249.03044MaRDI QIDQ2882946
Publication date: 11 May 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40)
Related Items (6)
Progression of Decomposed Local-Effect Action Theories ⋮ Algorithmic issues of AND-decomposition of Boolean formulas ⋮ The complexity of AND-decomposition of Boolean functions ⋮ On decidability of the decomposability problem for finite theories ⋮ AND–Decomposition of Boolean Polynomials with Prescribed Shared Variables ⋮ On the relationship between the complexity of decidability and decomposability of first-order theories
This page was built for publication:
