Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/lanmr/2014s,
  editor       = {Juan Carlos Nieves and
                  Jos{\'{e}} Raymundo Marcial{-}Romero},
  title        = {Selected Papers of the Ninth Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, {LANMR} 2014, Valle de Bravo,
                  Mexico, November 5-7, 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {315},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/315/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lanmr/2014s.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Haeusler15,
  author       = {Edward Hermann Haeusler},
  editor       = {Juan Carlos Nieves and
                  Jos{\'{e}} Raymundo Marcial{-}Romero},
  title        = {How Many Times do We Need an Assumption to Prove a Tautology in Minimal
                  Logic? Examples on the Compression Power of Classical Reasoning},
  booktitle    = {Selected Papers of the Ninth Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, {LANMR} 2014, Valle de Bravo,
                  Mexico, November 5-7, 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {315},
  pages        = {31--46},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2015.06.004},
  doi          = {10.1016/J.ENTCS.2015.06.004},
  timestamp    = {Thu, 10 Nov 2022 14:46:10 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Haeusler15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LunaMPH15,
  author       = {Guillermo De Ita Luna and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Maria del Pilar Pozos Parra and
                  Jos{\'{e}} Antonio Hern{\'{a}}ndez Serv{\'{\i}}n},
  editor       = {Juan Carlos Nieves and
                  Jos{\'{e}} Raymundo Marcial{-}Romero},
  title        = {Using Binary Patterns for Counting Falsifying Assignments of Conjunctive
                  Forms},
  booktitle    = {Selected Papers of the Ninth Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, {LANMR} 2014, Valle de Bravo,
                  Mexico, November 5-7, 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {315},
  pages        = {17--30},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2015.06.003},
  doi          = {10.1016/J.ENTCS.2015.06.003},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/LunaMPH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NievesM15,
  author       = {Juan Carlos Nieves and
                  Jos{\'{e}} Raymundo Marcial{-}Romero},
  editor       = {Juan Carlos Nieves and
                  Jos{\'{e}} Raymundo Marcial{-}Romero},
  title        = {Preface},
  booktitle    = {Selected Papers of the Ninth Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, {LANMR} 2014, Valle de Bravo,
                  Mexico, November 5-7, 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {315},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2015.06.001},
  doi          = {10.1016/J.ENTCS.2015.06.001},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NievesM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OsorioC15,
  author       = {Mauricio Osorio and
                  Jos{\'{e}} Abel Castellanos},
  editor       = {Juan Carlos Nieves and
                  Jos{\'{e}} Raymundo Marcial{-}Romero},
  title        = {A Single Proof of Classical Behaviour in da Costa's C\({}_{\mbox{n}}\)
                  Systems},
  booktitle    = {Selected Papers of the Ninth Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, {LANMR} 2014, Valle de Bravo,
                  Mexico, November 5-7, 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {315},
  pages        = {3--16},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2015.06.002},
  doi          = {10.1016/J.ENTCS.2015.06.002},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OsorioC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OsorioCZ15,
  author       = {Mauricio Osorio and
                  Jos{\'{e}} Luis Carballido and
                  Claudia Zepeda},
  editor       = {Juan Carlos Nieves and
                  Jos{\'{e}} Raymundo Marcial{-}Romero},
  title        = {On Paraconsistent Extensions of C\({}_{\mbox{1}}\)},
  booktitle    = {Selected Papers of the Ninth Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, {LANMR} 2014, Valle de Bravo,
                  Mexico, November 5-7, 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {315},
  pages        = {47--60},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2015.06.005},
  doi          = {10.1016/J.ENTCS.2015.06.005},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OsorioCZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}