Caríssimos, muito obrigado pelo retorno.
Regivan 2010/5/11 Regivan Hugo Nunes Santiago <regi...@dimap.ufrn.br> > Caríssimos, > > alguém tem o paper do A. Pnueli "The Temporal Logic of Programs". Proc. of > the 18th IEEE Symposium of Foundations of CS, pp. 46-57. 1977? > > Grato, > Regivan > > -- > > ****************************************************************************** > Prof. Dr. Regivan Hugo Nunes Santiago > Group of Logic, Language, Information, Theory and Applications - LoLITA > Department of Informatics and Applied Mathematics - DIMAp > Federal University of Rio Grande do Norte - UFRN > Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil > Phone: +55 84 3215-3814 Ext. 228 > Fax: +55 84 3215-3813 > http://www.dimap.ufrn.br/~regivan > e-mail: regivan AT DOMAIN=dimap,ufrn,br. > > ****************************************************************************** > -- ****************************************************************************** Prof. Dr. Regivan Hugo Nunes Santiago Group of Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UFRN Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil Phone: +55 84 3215-3814 Ext. 228 Fax: +55 84 3215-3813 http://www.dimap.ufrn.br/~regivan e-mail: regivan AT DOMAIN=dimap,ufrn,br. ******************************************************************************
_______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l