Search dblp for Publications

export results for "toc:db/conf/hylo/hylo2006.bht:"

 download as .bib file

@proceedings{DBLP:conf/hylo/2006,
  editor       = {Patrick Blackburn and
                  Thomas Bolander and
                  Torben Bra{\"{u}}ner and
                  Valeria de Paiva and
                  J{\o}rgen Villadsen},
  title        = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
                  2006, Seattle, WA, USA, August 11, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {6},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/6},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hylo/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BidoitC07,
  author       = {Nicole Bidoit and
                  Dario Colazzo},
  editor       = {Patrick Blackburn and
                  Thomas Bolander and
                  Torben Bra{\"{u}}ner and
                  Valeria de Paiva and
                  J{\o}rgen Villadsen},
  title        = {Testing {XML} constraint satisfiability},
  booktitle    = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
                  2006, Seattle, WA, USA, August 11, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {6},
  pages        = {45--61},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.11.025},
  doi          = {10.1016/J.ENTCS.2006.11.025},
  timestamp    = {Fri, 27 Jan 2023 13:46:56 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BidoitC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BlackburnBBPV07,
  author       = {Patrick Blackburn and
                  Thomas Bolander and
                  Torben Bra{\"{u}}ner and
                  Valeria de Paiva and
                  J{\o}rgen Villadsen},
  editor       = {Patrick Blackburn and
                  Thomas Bolander and
                  Torben Bra{\"{u}}ner and
                  Valeria de Paiva and
                  J{\o}rgen Villadsen},
  title        = {Preface},
  booktitle    = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
                  2006, Seattle, WA, USA, August 11, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {6},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.11.021},
  doi          = {10.1016/J.ENTCS.2006.11.021},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BlackburnBBPV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BolanderHH07,
  author       = {Thomas Bolander and
                  Jens Ulrik Hansen and
                  Michael R. Hansen},
  editor       = {Patrick Blackburn and
                  Thomas Bolander and
                  Torben Bra{\"{u}}ner and
                  Valeria de Paiva and
                  J{\o}rgen Villadsen},
  title        = {Decidability of a Hybrid Duration Calculus},
  booktitle    = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
                  2006, Seattle, WA, USA, August 11, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {6},
  pages        = {113--133},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.11.029},
  doi          = {10.1016/J.ENTCS.2006.11.029},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BolanderHH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CateL07,
  author       = {Balder ten Cate and
                  Tadeusz Litak},
  editor       = {Patrick Blackburn and
                  Thomas Bolander and
                  Torben Bra{\"{u}}ner and
                  Valeria de Paiva and
                  J{\o}rgen Villadsen},
  title        = {Topological Perspective on the Hybrid Proof Rules},
  booktitle    = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
                  2006, Seattle, WA, USA, August 11, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {6},
  pages        = {79--94},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.11.027},
  doi          = {10.1016/J.ENTCS.2006.11.027},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CateL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HardtS07,
  author       = {Moritz Hardt and
                  Gert Smolka},
  editor       = {Patrick Blackburn and
                  Thomas Bolander and
                  Torben Bra{\"{u}}ner and
                  Valeria de Paiva and
                  J{\o}rgen Villadsen},
  title        = {Higher-Order Syntax and Saturation Algorithms for Hybrid Logic},
  booktitle    = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
                  2006, Seattle, WA, USA, August 11, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {6},
  pages        = {15--27},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.11.023},
  doi          = {10.1016/J.ENTCS.2006.11.023},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HardtS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HorrocksGS07,
  author       = {Ian Horrocks and
                  Birte Glimm and
                  Ulrike Sattler},
  editor       = {Patrick Blackburn and
                  Thomas Bolander and
                  Torben Bra{\"{u}}ner and
                  Valeria de Paiva and
                  J{\o}rgen Villadsen},
  title        = {Hybrid Logics and Ontology Languages},
  booktitle    = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
                  2006, Seattle, WA, USA, August 11, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {6},
  pages        = {3--14},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.11.022},
  doi          = {10.1016/J.ENTCS.2006.11.022},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HorrocksGS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Katsuhiko07,
  author       = {Katsuhiko Sano},
  editor       = {Patrick Blackburn and
                  Thomas Bolander and
                  Torben Bra{\"{u}}ner and
                  Valeria de Paiva and
                  J{\o}rgen Villadsen},
  title        = {A Hybridization of Irreflexive Modal Logics},
  booktitle    = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
                  2006, Seattle, WA, USA, August 11, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {6},
  pages        = {95--111},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.11.028},
  doi          = {10.1016/J.ENTCS.2006.11.028},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Katsuhiko07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MundhenkS07,
  author       = {Martin Mundhenk and
                  Thomas Schneider},
  editor       = {Patrick Blackburn and
                  Thomas Bolander and
                  Torben Bra{\"{u}}ner and
                  Valeria de Paiva and
                  J{\o}rgen Villadsen},
  title        = {Undecidability of Multi-modal Hybrid Logics},
  booktitle    = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
                  2006, Seattle, WA, USA, August 11, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {6},
  pages        = {29--43},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.11.024},
  doi          = {10.1016/J.ENTCS.2006.11.024},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MundhenkS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Platzer07,
  author       = {Andr{\'{e}} Platzer},
  editor       = {Patrick Blackburn and
                  Thomas Bolander and
                  Torben Bra{\"{u}}ner and
                  Valeria de Paiva and
                  J{\o}rgen Villadsen},
  title        = {Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems},
  booktitle    = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
                  2006, Seattle, WA, USA, August 11, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {6},
  pages        = {63--77},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.11.026},
  doi          = {10.1016/J.ENTCS.2006.11.026},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Platzer07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Reed07,
  author       = {Jason Reed},
  editor       = {Patrick Blackburn and
                  Thomas Bolander and
                  Torben Bra{\"{u}}ner and
                  Valeria de Paiva and
                  J{\o}rgen Villadsen},
  title        = {Hybridizing a Logical Framework},
  booktitle    = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
                  2006, Seattle, WA, USA, August 11, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {6},
  pages        = {135--148},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.11.030},
  doi          = {10.1016/J.ENTCS.2006.11.030},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Reed07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.