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
