مرکز منطقه ای اطلاع رساني علوم و فناوري - Clausal resolution for normal modal logics

Title of article :

Clausal resolution for normal modal logics

Author/Authors :

Claudia Nalon ، نويسنده , , Clare Dixon، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2007

Pages :

From page :

117

To page :

134

Keywords :

Normal modal logics , Automated deduction , resolution

Journal title :

Journal of Algorithms

Serial Year :

2007

Journal title :

Journal of Algorithms

Record number :

291718

Link To Document :