مرکز منطقه ای اطلاع رساني علوم و فناوري - Completeness of hyper-resolution via the semantics of disjunctive logic programs

Title of article :

Completeness of hyper-resolution via the semantics of disjunctive logic programs

Author/Authors :

Linh Anh Nguyen، نويسنده , , Rajeev Goré، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2005

Pages :

From page :

363

To page :

369

Keywords :

Fixpoint semantics , Automatic theorem proving

Journal title :

Information Processing Letters

Serial Year :

2005

Journal title :

Information Processing Letters

Record number :

130107

Link To Document :