Search dblp for Publications

export results for "toc:db/journals/entcs/entcs256.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/Ayala-RinconK09,
  author       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  title        = {Preface},
  booktitle    = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
                  with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
                  28, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {256},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.11.001},
  doi          = {10.1016/J.ENTCS.2009.11.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Ayala-RinconK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BenevidesS09,
  author       = {Mario R. F. Benevides and
                  Luis Menasch{\'{e}} Schechter},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  title        = {Product of Graphs and Hybrid Logic},
  booktitle    = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
                  with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
                  28, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {256},
  pages        = {103--118},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.11.008},
  doi          = {10.1016/J.ENTCS.2009.11.008},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BenevidesS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CostaSHP09,
  author       = {Vaston G. Costa and
                  Wagner Sanz and
                  Edward Hermann Haeusler and
                  Luiz Carlos Pereira},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  title        = {Peirce's Rule in a Full Natural Deduction System},
  booktitle    = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
                  with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
                  28, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {256},
  pages        = {5--18},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.11.002},
  doi          = {10.1016/J.ENTCS.2009.11.002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CostaSHP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DemolombeC09,
  author       = {Robert Demolombe and
                  Luis Fari{\~{n}}as del Cerro},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  title        = {How to Produce Information About a Given Entity Using Automated Deduction
                  Methods},
  booktitle    = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
                  with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
                  28, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {256},
  pages        = {19--31},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.11.003},
  doi          = {10.1016/J.ENTCS.2009.11.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DemolombeC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FernandesH09,
  author       = {Ricardo Queiroz de Araujo Fernandes and
                  Edward Hermann Haeusler},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  title        = {A Topos-Theoretic Approach to Counterfactual Logic},
  booktitle    = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
                  with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
                  28, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {256},
  pages        = {33--47},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.11.004},
  doi          = {10.1016/J.ENTCS.2009.11.004},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FernandesH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HorozalR09,
  author       = {Feryal Fulya Horozal and
                  Florian Rabe},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  title        = {Representing Model Theory in a Type-Theoretical Logical Framework},
  booktitle    = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
                  with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
                  28, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {256},
  pages        = {49--65},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.11.005},
  doi          = {10.1016/J.ENTCS.2009.11.005},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/HorozalR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Miranda-PereaG09,
  author       = {Favio Ezequiel Miranda{-}Perea and
                  Lourdes Del Carmen Gonz{\'{a}}lez{-}Huesca},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  title        = {Selective Memoization with Box Types},
  booktitle    = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
                  with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
                  28, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {256},
  pages        = {67--85},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.11.006},
  doi          = {10.1016/J.ENTCS.2009.11.006},
  timestamp    = {Thu, 27 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Miranda-PereaG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NetoKF09,
  author       = {Adolfo Neto and
                  Celso A. A. Kaestner and
                  Marcelo Finger},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  title        = {Towards an Efficient Prover for the C\({}_{\mbox{1}}\) Paraconsistent
                  Logic},
  booktitle    = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
                  with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
                  28, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {256},
  pages        = {87--102},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.11.007},
  doi          = {10.1016/J.ENTCS.2009.11.007},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NetoKF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Virseda09,
  author       = {Rafael del Vado V{\'{\i}}rseda},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  title        = {A Logical Framework for Debugging in Declarative Constraint Programming},
  booktitle    = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
                  with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
                  28, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {256},
  pages        = {119--135},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.11.009},
  doi          = {10.1016/J.ENTCS.2009.11.009},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Virseda09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2009,
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  title        = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
                  with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
                  28, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {256},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/256/suppl/C},
  timestamp    = {Wed, 05 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lsfa/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics