:facetid:toc:\"db/journals/entcs/entcs256.bht\"OK:facetid:toc:db/journals/entcs/entcs256.bhtMauricio Ayala-RincónFairouz KamareddinePreface.LSFA1-32009Conference and Workshop Papersopenjournals/entcs/Ayala-RinconK0910.1016/J.ENTCS.2009.11.001https://doi.org/10.1016/j.entcs.2009.11.001https://dblp.org/rec/journals/entcs/Ayala-RinconK09URL#5191963Mario R. F. BenevidesLuis Menasché SchechterProduct of Graphs and Hybrid Logic.LSFA103-1182009Conference and Workshop Papersopenjournals/entcs/BenevidesS0910.1016/J.ENTCS.2009.11.008https://doi.org/10.1016/j.entcs.2009.11.008https://dblp.org/rec/journals/entcs/BenevidesS09URL#5191975Vaston G. CostaWagner SanzEdward Hermann HaeuslerLuiz Carlos PereiraPeirce's Rule in a Full Natural Deduction System.LSFA5-182009Conference and Workshop Papersopenjournals/entcs/CostaSHP0910.1016/J.ENTCS.2009.11.002https://doi.org/10.1016/j.entcs.2009.11.002https://dblp.org/rec/journals/entcs/CostaSHP09URL#5192015Robert DemolombeLuis Fariñas del CerroHow to Produce Information About a Given Entity Using Automated Deduction Methods.LSFA19-312009Conference and Workshop Papersopenjournals/entcs/DemolombeC0910.1016/J.ENTCS.2009.11.003https://doi.org/10.1016/j.entcs.2009.11.003https://dblp.org/rec/journals/entcs/DemolombeC09URL#5192023Ricardo Queiroz de Araujo FernandesEdward Hermann HaeuslerA Topos-Theoretic Approach to Counterfactual Logic.LSFA33-472009Conference and Workshop Papersopenjournals/entcs/FernandesH0910.1016/J.ENTCS.2009.11.004https://doi.org/10.1016/j.entcs.2009.11.004https://dblp.org/rec/journals/entcs/FernandesH09URL#5192043Feryal Fulya HorozalFlorian Rabe 0001Representing Model Theory in a Type-Theoretical Logical Framework.LSFA49-652009Conference and Workshop Papersopenjournals/entcs/HorozalR0910.1016/J.ENTCS.2009.11.005https://doi.org/10.1016/j.entcs.2009.11.005https://dblp.org/rec/journals/entcs/HorozalR09URL#5192077Favio Ezequiel Miranda-PereaLourdes Del Carmen González-HuescaSelective Memoization with Box Types.LSFA67-852009Conference and Workshop Papersopenjournals/entcs/Miranda-PereaG0910.1016/J.ENTCS.2009.11.006https://doi.org/10.1016/j.entcs.2009.11.006https://dblp.org/rec/journals/entcs/Miranda-PereaG09URL#5192126Adolfo NetoCelso A. A. KaestnerMarcelo FingerTowards an Efficient Prover for the C1 Paraconsistent Logic.LSFA87-1022009Conference and Workshop Papersopenjournals/entcs/NetoKF0910.1016/J.ENTCS.2009.11.007https://doi.org/10.1016/j.entcs.2009.11.007https://dblp.org/rec/journals/entcs/NetoKF09URL#5192136Rafael del Vado VírsedaA Logical Framework for Debugging in Declarative Constraint Programming.LSFA119-1352009Conference and Workshop Papersopenjournals/entcs/Virseda0910.1016/J.ENTCS.2009.11.009https://doi.org/10.1016/j.entcs.2009.11.009https://dblp.org/rec/journals/entcs/Virseda09URL#5192198Mauricio Ayala-RincónFairouz KamareddineProceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009LSFAElectronic Notes in Theoretical Computer Science256Elsevier2009Editorshipconf/lsfa/2009https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/256/suppl/Chttps://dblp.org/rec/conf/lsfa/2009URL#5196682