Greedy pebbling for proof space compression (bibtex)
by Andreas Fellner, Bruno Woltzenlogel Paleo
Reference:
Greedy pebbling for proof space compressionAndreas Fellner, Bruno Woltzenlogel PaleoInternational Journal on Software Tools for Technology Transfer, pages 1–16, 6 2017.
Bibtex Entry:
@Article{fellner2017greedy,
  author   = {Fellner, Andreas and Woltzenlogel Paleo, Bruno},
  title    = {Greedy pebbling for proof space compression},
  journal  = {International Journal on Software Tools for Technology Transfer},
  year     = {2017},
  pages    = {1--16},
  month    = {6},
  issn     = {1433-2779},
  doi      = {10.1007/s10009-017-0459-0},
  url      = {http:http://doai.io/10.1007/s10009-017-0459-0},
}
Powered by bibtexbrowser