Title of article
Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m)
Author/Authors
Fausto Giunchiglia، نويسنده , , Roberto Sebastiani، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
21
From page
158
To page
178
Journal title
Information and Computation
Serial Year
2000
Journal title
Information and Computation
Record number
261921
Link To Document