Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/hylo/2010,
  editor       = {Thomas Bolander and
                  Torben Bra{\"{u}}ner},
  title        = {International Workshop on Hybrid Logic and Applications 2010, HyLo@LICS
                  2010, Edinburgh, Scotland, UK, July 10, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {273},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/273/suppl/C},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hylo/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BolanderB11,
  author       = {Thomas Bolander and
                  Torben Bra{\"{u}}ner},
  editor       = {Thomas Bolander and
                  Torben Bra{\"{u}}ner},
  title        = {Preface},
  booktitle    = {International Workshop on Hybrid Logic and Applications 2010, HyLo@LICS
                  2010, Edinburgh, Scotland, UK, July 10, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {273},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.06.008},
  doi          = {10.1016/J.ENTCS.2011.06.008},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BolanderB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Hansen11,
  author       = {Jens Ulrik Hansen},
  editor       = {Thomas Bolander and
                  Torben Bra{\"{u}}ner},
  title        = {A Hybrid Public Announcement Logic with Distributed Knowledge},
  booktitle    = {International Workshop on Hybrid Logic and Applications 2010, HyLo@LICS
                  2010, Edinburgh, Scotland, UK, July 10, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {273},
  pages        = {33--50},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.06.011},
  doi          = {10.1016/J.ENTCS.2011.06.011},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hansen11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MonicaGS11,
  author       = {Dario Della Monica and
                  Valentin Goranko and
                  Guido Sciavicco},
  editor       = {Thomas Bolander and
                  Torben Bra{\"{u}}ner},
  title        = {Hybrid Metric Propositional Neighborhood Logics with Interval Length
                  Binders},
  booktitle    = {International Workshop on Hybrid Logic and Applications 2010, HyLo@LICS
                  2010, Edinburgh, Scotland, UK, July 10, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {273},
  pages        = {3--19},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.06.009},
  doi          = {10.1016/J.ENTCS.2011.06.009},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MonicaGS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PaivaHR11,
  author       = {Valeria de Paiva and
                  Edward Hermann Haeusler and
                  Alexandre Rademaker},
  editor       = {Thomas Bolander and
                  Torben Bra{\"{u}}ner},
  title        = {Constructive Description Logics Hybrid-Style},
  booktitle    = {International Workshop on Hybrid Logic and Applications 2010, HyLo@LICS
                  2010, Edinburgh, Scotland, UK, July 10, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {273},
  pages        = {21--31},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.06.010},
  doi          = {10.1016/J.ENTCS.2011.06.010},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PaivaHR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Sano11,
  author       = {Katsuhiko Sano},
  editor       = {Thomas Bolander and
                  Torben Bra{\"{u}}ner},
  title        = {Axiomatizing Hybrid Products of Monotone Neighborhood Frames},
  booktitle    = {International Workshop on Hybrid Logic and Applications 2010, HyLo@LICS
                  2010, Edinburgh, Scotland, UK, July 10, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {273},
  pages        = {51--67},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.06.012},
  doi          = {10.1016/J.ENTCS.2011.06.012},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Sano11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}