scientific article
From MaRDI portal
Publication:4012177
zbMath0745.68090MaRDI QIDQ4012177
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Controlled integration of the cut rule into connection tableau calculi ⋮ Computing answers with model elimination ⋮ Model elimination without contrapositives ⋮ What you always wanted to know about rigid E-unification