Parabéns aos autores e editores! ================================================================== Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br ==================================================================
---------- Forwarded message ---------- From: ScienceDirect Message Center <[email protected]> Date: Wed, Aug 24, 2011 at 5:24 PM Subject: ScienceDirect Alert: Theoretical Computer Science, Vol. 412, Iss. 37, 2011 To: [email protected] [image: SciVerse Home] <http://www.sciverse.com> [image: ScienceDirect® Home] <http://www.sciencedirect.com/science> New Volume/Issue is now available on ScienceDirect [image: Theoretical Computer Science]<http://www.sciencedirect.com/science/issue/5674-2011-995879962-3452756> Theoretical Computer Science <http://www.sciencedirect.com/science/journal/03043975> Volume 412, Issue 37<http://www.sciencedirect.com/science/issue/5674-2011-995879962-3452756>, Pages 4851-4966 (26 August 2011) *Logical and Semantic Frameworks with Applications (LSFA 2008 and 2009)* Edited by Mauricio Ayala-Rincon, Elaine Pimentel and Fairouz KamareddineModify or Remove My Alerts <http://www.sciencedirect.com/science/alerts> 1. *Editorial Board<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTHTML&_version=1&_uoikey=B6V1G-53D92BD-1&md5=15914ec61c8db7a299d7131bc9ab4c2a&graphAbs=y> * *Pages iii-viii* * Preface* 2. *Preface<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTHTML&_version=1&_uoikey=B6V1G-53401BK-2&md5=d0dba16f81cd011216fed9917c95ecda&graphAbs=y> * *Pages 4851-4852* Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine * Contributions* 3. *A formal library of set relations and its application to synchronous languages<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTHTML&_version=1&_uoikey=B6V1G-5230PY7-4&md5=c0b6fa7e3273e6cee4c615c7121ce820&graphAbs=y> * Original Research Article *Pages 4853-4866* Camilo Rocha, César Muñoz, Gilles Dowek 4. *A prismoid framework for languages with resources<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTHTML&_version=1&_uoikey=B6V1G-5230PY7-3&md5=8ae458935b2b09f31d5deea5b9dd19a4&graphAbs=y> * Original Research Article *Pages 4867-4892* Delia Kesner, Fabien Renaud 5. *Recursive definitions and fixed-points on well-founded structures<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTHTML&_version=1&_uoikey=B6V1G-5223Y73-2&md5=4cb0907dd35bf73350f021c5d8d14744&graphAbs=y> * Original Research Article *Pages 4893-4904* Francicleber Martins Ferreira, Ana Teresa Martins 6. *The search for a reduction in combinatory logic equivalent to λβ -reduction<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTHTML&_version=1&_uoikey=B6V1G-526DWT3-2&md5=491b67ea31f4fd4955d4dd348bebeca4&graphAbs=y> * Original Research Article *Pages 4905-4918* Jonathan P. Seldin 7. *Representing model theory in a type-theoretical logical framework<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTHTML&_version=1&_uoikey=B6V1G-52GXVGH-3&md5=387e5de84255f440533eda99c48bfe52&graphAbs=y> * Original Research Article *Pages 4919-4945* Fulya Horozal, Florian Rabe 8. *A study on multi-dimensional products of graphs and hybrid logics<http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTHTML&_version=1&_uoikey=B6V1G-52VR6V5-2&md5=7a917525a286908ffcfd9d1a22e52e1c&graphAbs=y> * Original Research Article *Pages 4946-4966* Mario R.F. Benevides, L. Menasché Schechter Send my e-mail in plain text format <http://www.sciencedirect.com/science/account> Access the ScienceDirect Info site <http://www.info.sciencedirect.com> if you have questions about this message or other features of this service. This email has been sent to you by ScienceDirect, a division of Elsevier B.V., Radarweg 29, 1043 NX Amsterdam, The Netherlands, Tel.+31 20 485 3911. ScienceDirect respects your privacy and does not disclose, rent or sell your personal information to any non-affiliated third parties without your consent, except as may be stated in the ScienceDirect online privacy policy<http://www.sciencedirect.com/science/privacy> . By using email or alert services, you agree to comply with the ScienceDirect Terms and Conditions <http://www.sciencedirect.com/science/termsandcond>. To unsubscribe to alert services, please go to the Alerts<http://www.sciencedirect.com/science/alerts>page. Copyright © 2011 ScienceDirect. All rights reserved. Any unauthorized use, reproduction, or transfer of this message or its contents, in any medium, is strictly prohibited. ScienceDirect® is a registered trademark of Elsevier B.V. Delivery Job ID: 22223:377541048:1996:317065355 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
