Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/entcs/CrouchP14,
  author    = {Dick Crouch and
               Valeria de Paiva},
  title     = {If, not when},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {300},
  pages     = {3--20},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.entcs.2013.12.009},
  doi       = {10.1016/j.entcs.2013.12.009},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/CrouchP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/DodoM14,
  author    = {Adriano Dod{\'{o}} and
               Jo{\~{a}}o Marcos},
  title     = {Negative Modalities, Consistency and Determinedness},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {300},
  pages     = {21--45},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.entcs.2013.12.010},
  doi       = {10.1016/j.entcs.2013.12.010},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/DodoM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Kramer14,
  author    = {Simon Kramer},
  title     = {Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic
               Deciders)},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {300},
  pages     = {47--70},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.entcs.2013.12.011},
  doi       = {10.1016/j.entcs.2013.12.011},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Kramer14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/PaivaBNP14,
  author    = {Valeria de Paiva and
               Mario R. F. Benevides and
               Vivek Nigam and
               Elaine Pimentel},
  title     = {Preface},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {300},
  pages     = {1--2},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.entcs.2013.12.008},
  doi       = {10.1016/j.entcs.2013.12.008},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/PaivaBNP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/PouliasisP14,
  author    = {Konstantinos Pouliasis and
               Giuseppe Primiero},
  title     = {J-Calc: {A} Typed Lambda Calculus for Intuitionistic Justification
               Logic},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {300},
  pages     = {71--87},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.entcs.2013.12.012},
  doi       = {10.1016/j.entcs.2013.12.012},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/PouliasisP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/SterenB14,
  author    = {Gabriela Steren and
               Eduardo Bonelli},
  title     = {Intuitionistic Hypothetical Logic of Proofs},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {300},
  pages     = {89--103},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.entcs.2013.12.013},
  doi       = {10.1016/j.entcs.2013.12.013},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/SterenB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics