Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/imla/2013,
  editor       = {Valeria de Paiva and
                  Mario R. F. Benevides and
                  Vivek Nigam and
                  Elaine Pimentel},
  title        = {Proceedings of the 6th Workshop on Intuitionistic Modal Logic and
                  Applications, {IMLA} 2013, in association with {UNILOG} 2013, Rio
                  de Janeiro, Brazil, April 7, 2013},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {300},
  publisher    = {Elsevier},
  year         = {2014}
}
@inproceedings{DBLP:journals/entcs/CrouchP14,
  author       = {Dick Crouch and
                  Valeria de Paiva},
  title        = {If, not when},
  booktitle    = {IMLA@UNILOG},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {300},
  pages        = {3--20},
  publisher    = {Elsevier},
  year         = {2013}
}
@inproceedings{DBLP:journals/entcs/DodoM14,
  author       = {Adriano Dod{\'{o}} and
                  Jo{\~{a}}o Marcos},
  title        = {Negative Modalities, Consistency and Determinedness},
  booktitle    = {IMLA@UNILOG},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {300},
  pages        = {21--45},
  publisher    = {Elsevier},
  year         = {2013}
}
@inproceedings{DBLP:journals/entcs/Kramer14,
  author       = {Simon Kramer},
  title        = {Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic
                  Deciders)},
  booktitle    = {IMLA@UNILOG},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {300},
  pages        = {47--70},
  publisher    = {Elsevier},
  year         = {2013}
}
@inproceedings{DBLP:journals/entcs/PaivaBNP14,
  author       = {Valeria de Paiva and
                  Mario R. F. Benevides and
                  Vivek Nigam and
                  Elaine Pimentel},
  title        = {Preface},
  booktitle    = {IMLA@UNILOG},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {300},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2013}
}
@inproceedings{DBLP:journals/entcs/PouliasisP14,
  author       = {Konstantinos Pouliasis and
                  Giuseppe Primiero},
  title        = {J-Calc: {A} Typed Lambda Calculus for Intuitionistic Justification
                  Logic},
  booktitle    = {IMLA@UNILOG},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {300},
  pages        = {71--87},
  publisher    = {Elsevier},
  year         = {2013}
}
@inproceedings{DBLP:journals/entcs/SterenB14,
  author       = {Gabriela Steren and
                  Eduardo Bonelli},
  title        = {Intuitionistic Hypothetical Logic of Proofs},
  booktitle    = {IMLA@UNILOG},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {300},
  pages        = {89--103},
  publisher    = {Elsevier},
  year         = {2013}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics