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