BibTeX record conf/csl/LehtinenQ15

download as .bib file

@inproceedings{DBLP:conf/csl/LehtinenQ15,
  author       = {Karoliina Lehtinen and
                  Sandra Quickert},
  editor       = {Stephan Kreutzer},
  title        = {Deciding the First Levels of the Modal mu Alternation Hierarchy by
                  Formula Construction},
  booktitle    = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
                  September 7-10, 2015, Berlin, Germany},
  series       = {LIPIcs},
  volume       = {41},
  pages        = {457--471},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2015.457},
  doi          = {10.4230/LIPICS.CSL.2015.457},
  timestamp    = {Fri, 27 Mar 2020 08:48:22 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/LehtinenQ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.