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
7
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