Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/lsfa/2010,
  editor       = {Edward Hermann Haeusler and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
                  Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {269},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/269/suppl/C},
  timestamp    = {Wed, 05 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lsfa/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BenevidesFV11,
  author       = {Mario R. F. Benevides and
                  Renata P. de Freitas and
                  Jorge Petrucio Viana},
  editor       = {Edward Hermann Haeusler and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {Propositional Dynamic Logic with Storing, Recovering and Parallel
                  Composition},
  booktitle    = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
                  Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {269},
  pages        = {95--107},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.03.008},
  doi          = {10.1016/J.ENTCS.2011.03.008},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BenevidesFV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FreireM11,
  author       = {Cibele Matos Freire and
                  Ana Teresa C. Martins},
  editor       = {Edward Hermann Haeusler and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {The Descriptive Complexity of the Deterministic Exponential Time Hierarchy},
  booktitle    = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
                  Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {269},
  pages        = {71--82},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.03.006},
  doi          = {10.1016/J.ENTCS.2011.03.006},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/FreireM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HaeuslerC11,
  author       = {Edward Hermann Haeusler and
                  Luis Fari{\~{n}}as del Cerro},
  editor       = {Edward Hermann Haeusler and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {Preface},
  booktitle    = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
                  Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {269},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.03.001},
  doi          = {10.1016/J.ENTCS.2011.03.001},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/HaeuslerC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MouraBAK11,
  author       = {Fl{\'{a}}vio L. C. de Moura and
                  A. V. Barbosa and
                  Mauricio Ayala{-}Rinc{\'{o}}n and
                  Fairouz Kamareddine},
  editor       = {Edward Hermann Haeusler and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {A Flexible Framework for Visualisation of Computational Properties
                  of General Explicit Substitutions Calculi},
  booktitle    = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
                  Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {269},
  pages        = {41--54},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.03.004},
  doi          = {10.1016/J.ENTCS.2011.03.004},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MouraBAK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NigamPR11,
  author       = {Vivek Nigam and
                  Elaine Pimentel and
                  Giselle Reis},
  editor       = {Edward Hermann Haeusler and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {Specifying Proof Systems in Linear Logic with Subexponentials},
  booktitle    = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
                  Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {269},
  pages        = {109--123},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.03.009},
  doi          = {10.1016/J.ENTCS.2011.03.009},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NigamPR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Paiva11,
  author       = {Valeria de Paiva},
  editor       = {Edward Hermann Haeusler and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {Bridges from Language to Logic: Concepts, Contexts and Ontologies},
  booktitle    = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
                  Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {269},
  pages        = {83--94},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.03.007},
  doi          = {10.1016/J.ENTCS.2011.03.007},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Paiva11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/QueirozO11,
  author       = {Ruy J. G. B. de Queiroz and
                  Anjolina Grisi de Oliveira},
  editor       = {Edward Hermann Haeusler and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {The Functional Interpretation of Direct Computations},
  booktitle    = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
                  Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {269},
  pages        = {19--40},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.03.003},
  doi          = {10.1016/J.ENTCS.2011.03.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/QueirozO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ShankarV11,
  author       = {Natarajan Shankar and
                  Marc Vaucher},
  editor       = {Edward Hermann Haeusler and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {The Mechanical Verification of a DPLL-Based Satisfiability Solver},
  booktitle    = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
                  Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {269},
  pages        = {3--17},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.03.002},
  doi          = {10.1016/J.ENTCS.2011.03.002},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ShankarV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/VelosoVV11,
  author       = {Sheila R. M. Veloso and
                  Paulo A. S. Veloso and
                  Paula M. Veloso},
  editor       = {Edward Hermann Haeusler and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {A Tool for Analysing Logics},
  booktitle    = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
                  Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {269},
  pages        = {125--137},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.03.010},
  doi          = {10.1016/J.ENTCS.2011.03.010},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/VelosoVV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Virseda11,
  author       = {Rafael del Vado V{\'{\i}}rseda},
  editor       = {Edward Hermann Haeusler and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {A Theoretical Framework for the Higher-Order Cooperation of Numeric
                  Constraint Domains},
  booktitle    = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
                  Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {269},
  pages        = {55--69},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.03.005},
  doi          = {10.1016/J.ENTCS.2011.03.005},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Virseda11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.