Querido João, O LSFA do ano passado foi em Salvador...
Renata 2009/8/8 Joao Marcos <[email protected]> > Perdão pela falta de atenção: o volume em questão é obviamente > referente ao LSFA do ano passado! (Ouro Preto, ago08) > > JM > > > ---------- Forwarded message ---------- > > > Acabou de sair o volume do ENTCS referente ao último LSFA (Brasília, > jun09). > Parabéns aos autores e editores (incluindo "B. Horizonte" ;-b)! > > JM > > > ---------- Forwarded message ---------- > > * Electronic Notes in Theoretical Computer Science > Volume 247, Pages 1-156 (4 August 2009) > Proceedings of the Third Workshop on Logical and Semantic Frameworks > with Applications (LSFA 2008) > Salvador, Brazil > 26 August 2008 > Edited by B. Horizonte, E. Pimentel and M. Benevides > http://www.sciencedirect.com/science/issue/13109-2009-997529999-1390072 > > > ============= > TABLE OF CONTENTS > > 1) Preface > Pages 1-3 > Belo Horizonte, Elaine Pimentel, Mario Benevides > > http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4WXS9XH-1&md5=8a1be27161738180bb1d0b63322d3fa8 > > 2) Xor-Implications and E-Implications: Classes of Fuzzy Implications > Based on Fuzzy Xor > Pages 5-18 > Benjamín C. Bedregal, Renata H.S. Reiser, Graçaliz P. Dimuro > > http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4WXS9XH-2&md5=0997a801b7a147c5b5ca3a919babcfaa > > 3) Recursive Definitions and Fixed-Points > Pages 19-37 > Francicleber Martins Ferreira, Ana Teresa Martins > > http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4WXS9XH-3&md5=d908b067db76944865ae70088a925b05 > > 4) Using Abduction to Compute Efficient Proofs > Pages 39-49 > Marcelo Finger > > http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4WXS9XH-4&md5=0e8715932f978354aab46acfbed129d7 > > 5) Introducing Polymodal Neighbourhood Logics > Pages 51-66 > Renata de Freitas, Petrucio Viana > > http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4WXS9XH-5&md5=f7faf144080dbaf2bce7641bbe6e6d24 > > 6) A PVS Theory for Term Rewriting Systems > Pages 67-83 > André L. Galdino, Mauricio Ayala-Rincón > > http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4WXS9XH-6&md5=13adee676fb2facd60107787b17db01c > > 7) Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction > Pages 85-101 > Fairouz Kamareddine, Vincent Rahli > > http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4WXS9XH-7&md5=2d13650c9cc58e272dada729db8c56fb > > 8) Some Remarks on Type Systems for Course-of-value Recursion > Pages 103-121 > Favio Ezequiel Miranda-Perea > > http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4WXS9XH-8&md5=22cc79cebdc0ee138de9e80c8ede45d8 > > 9) A Logical Approach to Hamiltonian Graphs > Pages 123-138 > L. Menasché Schechter > > http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4WXS9XH-9&md5=c86d976427d75a60df8c835be16c0641 > > 10) Formal SOS-Proofs for the Lambda-Calculus > Pages 139-155 > Christian Urban, Julien Narboux > > http://www.sciencedirect.com/science?_ob=GatewayURL&_method=citationSearch&_urlVersion=4&_origin=SDVIALERTASCII&_version=1&_uoikey=B75H1-4WXS9XH-B&md5=f8adac170aabe5218ed9cfe02fb0d63f > > ============= > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
