Parabéns sao Mauricio, Elaine e Fairouz pela bela publicação! Abs,
Walter 2011/8/25, Adolfo Neto <[email protected]>: > 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 > -- ++++++++++++++++++++++++++++++++++++ Prof. Dr. Walter Carnielli Visiting Scholar School of Historical and Philosophical Studies Room G06 Ground Floor Old Quad Building The University of Melbourne 3010 VIC Melbourne, Australia Website: http://www.cle.unicamp.br/prof/carnielli ------------------------------------------- _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
