Title of article
Bases for closed sets of implicants and implicates in temporal logic
Author/Authors
P. Cordero، نويسنده , , M. Enciso and I.P. de Guzm?n ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
21
From page
599
To page
619
Journal title
acta Informatica
Serial Year
2002
Journal title
acta Informatica
Record number
287742
Link To Document