default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/hylo:"
download as .bib file
@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}
}
@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.
retrieved on 2024-12-13 02:06 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
