Lower Bounds for Existential Pebble Games and k-Consistency Tests. Berkholz, C. In Proceedings of Logic in Computer Science (LICS), pages 25-34, 2012.
Lower Bounds for Existential Pebble Games and k-Consistency Tests [link]Paper  bibtex   
@inproceedings{ dblp2402842,
  title = {Lower Bounds for Existential Pebble Games and k-Consistency Tests},
  author = {Christoph Berkholz},
  author_short = {Berkholz, C.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp2402842},
  id = {dblp2402842},
  biburl = {http://www.dblp.org/rec/bibtex/conf/lics/Berkholz12},
  url = {http://dx.doi.org/10.1109/LICS.2012.14},
  conference = {LICS},
  pages = {25-34},
  text = {LICS 2012:25-34},
  booktitle = {Proceedings of Logic in Computer Science (LICS)}
}

Downloads: 0