Title of article :
Future temporal logic needs infinitely many modalities
Author/Authors :
Yoram Hirshfeld، نويسنده , , Alexander Rabinovich، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
Pages :
13
From page :
196
To page :
208
Journal title :
Information and Computation
Serial Year :
2003
Journal title :
Information and Computation
Record number :
262196
Link To Document :
بازگشت