@article{ dblp1618405,
  title = {Bounds for the Quantifier Depth in Finite-Variable Logics: Alternation Hierarchy},
  author = {Christoph Berkholz and Andreas Krebs and Oleg Verbitsky},
  author_short = {Berkholz, C. and Krebs, A. and Verbitsky, O.},
  bibtype = {article},
  type = {article},
  year = {2015},
  key = {dblp1618405},
  id = {dblp1618405},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tocl/BerkholzKV15},
  url = {http://doi.acm.org/10.1145/2732409},
  journal = {ACM Trans. Comput. Log. (TOCL)},
  pages = {21},
  number = {3},
  volume = {16},
  text = {ACM Trans. Comput. Log. (TOCL) 16(3):21 (2015)}
}

{"_id":"vbZDTGQsTTQhpjfGn","bibbaseid":"berkholz-krebs-verbitsky-boundsforthequantifierdepthinfinitevariablelogicsalternationhierarchy-2015","downloads":0,"creationDate":"2015-09-23T09:34:06.341Z","title":"Bounds for the Quantifier Depth in Finite-Variable Logics: Alternation Hierarchy","author_short":["Berkholz, C.","Krebs, A.","Verbitsky, O."],"year":2015,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tocl/BerkholzKV15","bibdata":{"title":"Bounds for the Quantifier Depth in Finite-Variable Logics: Alternation Hierarchy","author":["Christoph Berkholz","Andreas Krebs","Oleg Verbitsky"],"author_short":["Berkholz, C.","Krebs, A.","Verbitsky, O."],"bibtype":"article","type":"article","year":"2015","key":"dblp1618405","id":"dblp1618405","biburl":"http://www.dblp.org/rec/bibtex/journals/tocl/BerkholzKV15","url":"http://doi.acm.org/10.1145/2732409","journal":"ACM Trans. Comput. Log. (TOCL)","pages":"21","number":"3","volume":"16","text":"ACM Trans. Comput. Log. (TOCL) 16(3):21 (2015)","bibtex":"@article{ dblp1618405,\n title = {Bounds for the Quantifier Depth in Finite-Variable Logics: Alternation Hierarchy},\n author = {Christoph Berkholz and Andreas Krebs and Oleg Verbitsky},\n author_short = {Berkholz, C. and Krebs, A. and Verbitsky, O.},\n bibtype = {article},\n type = {article},\n year = {2015},\n key = {dblp1618405},\n id = {dblp1618405},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tocl/BerkholzKV15},\n url = {http://doi.acm.org/10.1145/2732409},\n journal = {ACM Trans. Comput. Log. (TOCL)},\n pages = {21},\n number = {3},\n volume = {16},\n text = {ACM Trans. Comput. Log. (TOCL) 16(3):21 (2015)}\n}","bibbaseid":"berkholz-krebs-verbitsky-boundsforthequantifierdepthinfinitevariablelogicsalternationhierarchy-2015","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2732409"},"downloads":0},"search_terms":["bounds","quantifier","depth","finite","variable","logics","alternation","hierarchy","berkholz","krebs","verbitsky"],"keywords":[],"authorIDs":[],"dataSources":["7FS3DbYMcXXn8XFuY"]}