scientific article; zbMATH DE number 2079034
From MaRDI portal
Publication:4474846
zbMath1044.03506MaRDI QIDQ4474846
Publication date: 21 July 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
An algorithm for the retrieval of unifiers from discrimination trees ⋮ Resolution is cut-free ⋮ A classification of non-liftable orders for resolution ⋮ Completeness of hyper-resolution via the semantics of disjunctive logic programs ⋮ Deciding the \(E^+\)-class by an a posteriori, liftable order ⋮ Deciding the guarded fragments by resolution
This page was built for publication: