Search dblp for Publications

• > Home > Search

@article{DBLP:journals/corr/abs-1909-11521,
  author       = {Felix Canavoi and
                  Martin Otto},
  title        = {Cayley structures and common knowledge},
  journal      = {CoRR},
  volume       = {abs/1909.11521},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.11521},
  eprinttype    = {arXiv},
  eprint       = {1909.11521},
  timestamp    = {Fri, 27 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-11521.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Canavoi18,
  author       = {Felix Canavoi},
  title        = {Cayley Structures and the Expressiveness of Common Knowledge Logic},
  school       = {{TU} Darmstadt, Germany},
  year         = {2018},
  url          = {http://tuprints.ulb.tu-darmstadt.de/8269/},
  timestamp    = {Tue, 13 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Canavoi18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/CanavoiO17,
  author       = {Felix Canavoi and
                  Martin Otto},
  title        = {Common knowledge and multi-scale locality analysis in Cayley structures},
  booktitle    = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2017, Reykjavik, Iceland, June 20-23, 2017},
  pages        = {1--12},
  year         = {2017},
  crossref     = {DBLP:conf/lics/2017},
  url          = {https://doi.org/10.1109/LICS.2017.8005072},
  doi          = {10.1109/LICS.2017.8005072},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/CanavoiO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lics/2017,
  title        = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2017, Reykjavik, Iceland, June 20-23, 2017},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7999337/proceeding},
  isbn         = {978-1-5090-3018-7},
  timestamp    = {Wed, 13 Nov 2024 08:25:59 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}