مرکز منطقه ای اطلاع رساني علوم و فناوري - A new combination procedure for the word problem that generalizes fusion decidability results in modal logics

Title of article :

A new combination procedure for the word problem that generalizes fusion decidability results in modal logics

Author/Authors :

Franz Baader، نويسنده , , Silvio Ghilardi، نويسنده , , Cesare Tinelli، نويسنده ,

Issue Information :

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

Pages :

From page :

1413

To page :

1452

Journal title :

Information and Computation

Serial Year :

2006

Journal title :

Information and Computation

Record number :

262369

Link To Document :