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