Caro Regivan,
Enviei para sua caixa postal. [ ]s Alvaro Augusto De: [email protected] [mailto:[email protected]] Em nome de Regivan Hugo Nunes Santiago Enviada em: terça-feira, 11 de maio de 2010 17:34 Para: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA Assunto: [Logica-l] Paper 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. ******************************************************************************
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
