مرکز منطقه ای اطلاع رساني علوم و فناوري - Mechanising first-order temporal resolution

Title of article :

Mechanising first-order temporal resolution

Author/Authors :

Boris Konev، نويسنده , , Anatoli Degtyarev، نويسنده , , Clare Dixon، نويسنده , , Michael Fisher، نويسنده , , Ullrich Hustadt، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

Clausal resolution , Monodic fragment , Temporal logics

Journal title :

Information and Computation

Serial Year :

2005

Journal title :

Information and Computation

Record number :

262287

Link To Document :