scientific article
From MaRDI portal
Publication:3037400
zbMath0524.03021MaRDI QIDQ3037400
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Finite axiomatizations for existentially closed posets and semilattices ⋮ Model-complete theories of bounded unars ⋮ SMT-based verification of data-aware processes: a model-theoretic approach ⋮ Model complete theories of trees ⋮ EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES ⋮ Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras