Caros colegas da lista, alguma alma caridosa com acesso a Springer poderia me enviar os seguintes papers:
1. M. B. Smith. Power Domains and Predicate Transformers. A Topological View. 2. M. B. Smith. Quasi-uniformities: Reconciling Domains with Metric Spaces. 3. M. B. Smith. Completeness of Quasi-uniform Spaces in Terms of Filters. 4. Norihiro Kamide. A Sequent Calculus for 3-Dimensional Space. Atenciosamente, 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 Avenida Senador Salgado Filho, 3000, Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil Caixa Postal: 1679 Phone: +55 84 3215-3814 Ext. 211 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
