Extending ALCQIO with Trees (bibtex)
by Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Reference:
Extending ALCQIO with TreesTomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, pages 511-522, 2015.
Bibtex Entry:
@inproceedings{pr:KotekSVZ15,
  author    = {Tomer Kotek and
               Mantas Simkus and
               Helmut Veith and
               Florian Zuleger},
  title     = {Extending {ALCQIO} with Trees},
  booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
               2015, Kyoto, Japan, July 6-10, 2015},
  pages     = {511--522},
  year      = {2015},
  crossref  = {DBLP:conf/lics/2015},
  url       = {http://dx.doi.org/10.1109/LICS.2015.54},
  doi       = {10.1109/LICS.2015.54},
  timestamp = {Thu, 06 Aug 2015 13:45:30 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lics/KotekSVZ15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser