BibTeX record conf/focs/ValiantV14

download as .bib file

@inproceedings{DBLP:conf/focs/ValiantV14,
  author    = {Gregory Valiant and
               Paul Valiant},
  title     = {An Automatic Inequality Prover and Instance Optimal Identity Testing},
  booktitle = {55th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
               2014, Philadelphia, PA, USA, October 18-21, 2014},
  pages     = {51--60},
  year      = {2014},
  crossref  = {DBLP:conf/focs/2014},
  url       = {https://doi.org/10.1109/FOCS.2014.14},
  doi       = {10.1109/FOCS.2014.14},
  timestamp = {Fri, 19 May 2017 01:25:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/focs/ValiantV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/focs/2014,
  title     = {55th {IEEE} Annual Symposium on Foundations of Computer Science, {FOCS}
               2014, Philadelphia, PA, USA, October 18-21, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6975722},
  isbn      = {978-1-4799-6517-5},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/focs/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier