callback( { "result":{ "query":":facetid:toc:\"db/journals/entcs/entcs256.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"75.16" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"10", "@dc":"10", "@oc":"10", "@id":"43345569", "text":":facetid:toc:db/journals/entcs/entcs256.bht" } }, "hits":{ "@total":"10", "@computed":"10", "@sent":"10", "@first":"0", "hit":[{ "@score":"1", "@id":"5194145", "info":{"authors":{"author":[{"@pid":"56/538","text":"Mauricio Ayala-Rincón"},{"@pid":"k/FKamareddine","text":"Fairouz Kamareddine"}]},"title":"Preface.","venue":"LSFA","pages":"1-3","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/Ayala-RinconK09","doi":"10.1016/J.ENTCS.2009.11.001","ee":"https://doi.org/10.1016/j.entcs.2009.11.001","url":"https://dblp.org/rec/journals/entcs/Ayala-RinconK09"}, "url":"URL#5194145" }, { "@score":"1", "@id":"5194157", "info":{"authors":{"author":[{"@pid":"29/5198","text":"Mario R. F. Benevides"},{"@pid":"82/3117","text":"Luis Menasché Schechter"}]},"title":"Product of Graphs and Hybrid Logic.","venue":"LSFA","pages":"103-118","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/BenevidesS09","doi":"10.1016/J.ENTCS.2009.11.008","ee":"https://doi.org/10.1016/j.entcs.2009.11.008","url":"https://dblp.org/rec/journals/entcs/BenevidesS09"}, "url":"URL#5194157" }, { "@score":"1", "@id":"5194197", "info":{"authors":{"author":[{"@pid":"73/7581","text":"Vaston G. Costa"},{"@pid":"98/7581","text":"Wagner Sanz"},{"@pid":"93/6371","text":"Edward Hermann Haeusler"},{"@pid":"55/4356","text":"Luiz Carlos Pereira"}]},"title":"Peirce's Rule in a Full Natural Deduction System.","venue":"LSFA","pages":"5-18","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/CostaSHP09","doi":"10.1016/J.ENTCS.2009.11.002","ee":"https://doi.org/10.1016/j.entcs.2009.11.002","url":"https://dblp.org/rec/journals/entcs/CostaSHP09"}, "url":"URL#5194197" }, { "@score":"1", "@id":"5194205", "info":{"authors":{"author":[{"@pid":"31/4123","text":"Robert Demolombe"},{"@pid":"03/3567","text":"Luis Fariñas del Cerro"}]},"title":"How to Produce Information About a Given Entity Using Automated Deduction Methods.","venue":"LSFA","pages":"19-31","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/DemolombeC09","doi":"10.1016/J.ENTCS.2009.11.003","ee":"https://doi.org/10.1016/j.entcs.2009.11.003","url":"https://dblp.org/rec/journals/entcs/DemolombeC09"}, "url":"URL#5194205" }, { "@score":"1", "@id":"5194225", "info":{"authors":{"author":[{"@pid":"91/7581","text":"Ricardo Queiroz de Araujo Fernandes"},{"@pid":"93/6371","text":"Edward Hermann Haeusler"}]},"title":"A Topos-Theoretic Approach to Counterfactual Logic.","venue":"LSFA","pages":"33-47","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/FernandesH09","doi":"10.1016/J.ENTCS.2009.11.004","ee":"https://doi.org/10.1016/j.entcs.2009.11.004","url":"https://dblp.org/rec/journals/entcs/FernandesH09"}, "url":"URL#5194225" }, { "@score":"1", "@id":"5194259", "info":{"authors":{"author":[{"@pid":"18/3988","text":"Feryal Fulya Horozal"},{"@pid":"81/4104-1","text":"Florian Rabe 0001"}]},"title":"Representing Model Theory in a Type-Theoretical Logical Framework.","venue":"LSFA","pages":"49-65","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/HorozalR09","doi":"10.1016/J.ENTCS.2009.11.005","ee":"https://doi.org/10.1016/j.entcs.2009.11.005","url":"https://dblp.org/rec/journals/entcs/HorozalR09"}, "url":"URL#5194259" }, { "@score":"1", "@id":"5194308", "info":{"authors":{"author":[{"@pid":"39/347","text":"Favio Ezequiel Miranda-Perea"},{"@pid":"12/7583","text":"Lourdes Del Carmen González-Huesca"}]},"title":"Selective Memoization with Box Types.","venue":"LSFA","pages":"67-85","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/Miranda-PereaG09","doi":"10.1016/J.ENTCS.2009.11.006","ee":"https://doi.org/10.1016/j.entcs.2009.11.006","url":"https://dblp.org/rec/journals/entcs/Miranda-PereaG09"}, "url":"URL#5194308" }, { "@score":"1", "@id":"5194318", "info":{"authors":{"author":[{"@pid":"84/2417","text":"Adolfo Neto"},{"@pid":"53/5358","text":"Celso A. A. Kaestner"},{"@pid":"50/3312","text":"Marcelo Finger"}]},"title":"Towards an Efficient Prover for the C1 Paraconsistent Logic.","venue":"LSFA","pages":"87-102","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/NetoKF09","doi":"10.1016/J.ENTCS.2009.11.007","ee":"https://doi.org/10.1016/j.entcs.2009.11.007","url":"https://dblp.org/rec/journals/entcs/NetoKF09"}, "url":"URL#5194318" }, { "@score":"1", "@id":"5194380", "info":{"authors":{"author":{"@pid":"v/RafaeldelVadoVirseda","text":"Rafael del Vado Vírseda"}},"title":"A Logical Framework for Debugging in Declarative Constraint Programming.","venue":"LSFA","pages":"119-135","year":"2009","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/Virseda09","doi":"10.1016/J.ENTCS.2009.11.009","ee":"https://doi.org/10.1016/j.entcs.2009.11.009","url":"https://dblp.org/rec/journals/entcs/Virseda09"}, "url":"URL#5194380" }, { "@score":"1", "@id":"5198864", "info":{"authors":{"author":[{"@pid":"56/538","text":"Mauricio Ayala-Rincón"},{"@pid":"k/FKamareddine","text":"Fairouz Kamareddine"}]},"title":"Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009","venue":["LSFA","Electronic Notes in Theoretical Computer Science"],"volume":"256","publisher":"Elsevier","year":"2009","type":"Editorship","key":"conf/lsfa/2009","ee":"https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/256/suppl/C","url":"https://dblp.org/rec/conf/lsfa/2009"}, "url":"URL#5198864" } ] } } } )