Title of article :
A decision procedure for propositional projection temporal logic with infinite models
Author/Authors :
Zhenhua Duan، نويسنده , , Cong Tian and Li Zhang ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Pages :
36
From page :
43
To page :
78
Journal title :
acta Informatica
Serial Year :
2008
Journal title :
acta Informatica
Record number :
287889
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=287889
