Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/lsfa/2008,
  editor       = {Belo Horizonte and
                  Elaine Pimentel and
                  Mario R. F. Benevides},
  title        = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {247},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/247/suppl/C},
  timestamp    = {Wed, 05 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lsfa/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BedregalRD09,
  author       = {Benjam{\'{\i}}n R. C. Bedregal and
                  Renata Hax Sander Reiser and
                  Gra{\c{c}}aliz Pereira Dimuro},
  editor       = {Belo Horizonte and
                  Elaine Pimentel and
                  Mario R. F. Benevides},
  title        = {Xor-Implications and E-Implications: Classes of Fuzzy Implications
                  Based on Fuzzy Xor},
  booktitle    = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {247},
  pages        = {5--18},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.045},
  doi          = {10.1016/J.ENTCS.2009.07.045},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BedregalRD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FerreiraM09,
  author       = {Francicleber Martins Ferreira and
                  Ana Teresa C. Martins},
  editor       = {Belo Horizonte and
                  Elaine Pimentel and
                  Mario R. F. Benevides},
  title        = {Recursive Definitions and Fixed-Points},
  booktitle    = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {247},
  pages        = {19--37},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.046},
  doi          = {10.1016/J.ENTCS.2009.07.046},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FerreiraM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Finger09,
  author       = {Marcelo Finger},
  editor       = {Belo Horizonte and
                  Elaine Pimentel and
                  Mario R. F. Benevides},
  title        = {Using Abduction to Compute Efficient Proofs},
  booktitle    = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {247},
  pages        = {39--49},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.047},
  doi          = {10.1016/J.ENTCS.2009.07.047},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Finger09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FreitasV09,
  author       = {Renata P. de Freitas and
                  Petrucio Viana},
  editor       = {Belo Horizonte and
                  Elaine Pimentel and
                  Mario R. F. Benevides},
  title        = {Introducing Polymodal Neighbourhood Logics},
  booktitle    = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {247},
  pages        = {51--66},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.048},
  doi          = {10.1016/J.ENTCS.2009.07.048},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FreitasV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GaldinoA09,
  author       = {Andr{\'{e}} Luiz Galdino and
                  Mauricio Ayala{-}Rinc{\'{o}}n},
  editor       = {Belo Horizonte and
                  Elaine Pimentel and
                  Mario R. F. Benevides},
  title        = {A {PVS} Theory for Term Rewriting Systems},
  booktitle    = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {247},
  pages        = {67--83},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.049},
  doi          = {10.1016/J.ENTCS.2009.07.049},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GaldinoA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HorizontePB09,
  author       = {Belo Horizonte and
                  Elaine Pimentel and
                  Mario R. F. Benevides},
  editor       = {Belo Horizonte and
                  Elaine Pimentel and
                  Mario R. F. Benevides},
  title        = {Preface},
  booktitle    = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {247},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.068},
  doi          = {10.1016/J.ENTCS.2009.07.068},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HorizontePB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KamareddineR09,
  author       = {Fairouz Kamareddine and
                  Vincent Rahli},
  editor       = {Belo Horizonte and
                  Elaine Pimentel and
                  Mario R. F. Benevides},
  title        = {Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction},
  booktitle    = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {247},
  pages        = {85--101},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.050},
  doi          = {10.1016/J.ENTCS.2009.07.050},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KamareddineR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Miranda-Perea09,
  author       = {Favio Ezequiel Miranda{-}Perea},
  editor       = {Belo Horizonte and
                  Elaine Pimentel and
                  Mario R. F. Benevides},
  title        = {Some Remarks on Type Systems for Course-of-value Recursion},
  booktitle    = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {247},
  pages        = {103--121},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.051},
  doi          = {10.1016/J.ENTCS.2009.07.051},
  timestamp    = {Thu, 27 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Miranda-Perea09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Schechter09,
  author       = {Luis Menasch{\'{e}} Schechter},
  editor       = {Belo Horizonte and
                  Elaine Pimentel and
                  Mario R. F. Benevides},
  title        = {A Logical Approach to Hamiltonian Graphs},
  booktitle    = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {247},
  pages        = {123--138},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.052},
  doi          = {10.1016/J.ENTCS.2009.07.052},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Schechter09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/UrbanN09,
  author       = {Christian Urban and
                  Julien Narboux},
  editor       = {Belo Horizonte and
                  Elaine Pimentel and
                  Mario R. F. Benevides},
  title        = {Formal SOS-Proofs for the Lambda-Calculus},
  booktitle    = {Proceedings of the Third Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2008, Salvador, Brazil, August 26, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {247},
  pages        = {139--155},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.07.053},
  doi          = {10.1016/J.ENTCS.2009.07.053},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/UrbanN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.