scientific article
From MaRDI portal
Publication:3805955
zbMath0657.68097MaRDI QIDQ3805955
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Foundations of classical theories (including reverse mathematics) (03B30) Ring-theoretic properties of Boolean algebras (06E20) Word problems (aspects of algebraic structures) (08A50)
Related Items (3)
Invariant-driven specifications in Maude ⋮ History and basic features of the critical-pair/completion procedure ⋮ Proving and rewriting
This page was built for publication:
