scientific article; zbMATH DE number 2079034
From MaRDI portal
Publication:4474846
zbMATH Open1044.03506MaRDI QIDQ4474846FDOQ4474846
Authors: Hans de Nivelle 
Publication date: 21 July 2004
Title of this publication is not available (Why is that?)
Recommendations
Cited In (6)
- A classification of non-liftable orders for resolution
- An algorithm for the retrieval of unifiers from discrimination trees
- Resolution is cut-free
- Deciding the guarded fragments by resolution
- Completeness of hyper-resolution via the semantics of disjunctive logic programs
- Deciding the \(E^+\)-class by an a posteriori, liftable order
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4474846)
