BibTeX record journals/eccc/FlemingGGR22

download as .bib file

@article{DBLP:journals/eccc/FlemingGGR22,
  author       = {Noah Fleming and
                  Stefan Grosser and
                  Mika G{\"{o}}{\"{o}}s and
                  Robert Robere},
  title        = {On Semi-Algebraic Proofs and Algorithms},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR22-003}},
  year         = {2022},
  url          = {https://eccc.weizmann.ac.il/report/2022/003},
  eprinttype    = {ECCC},
  eprint       = {TR22-003},
  timestamp    = {Wed, 16 Mar 2022 12:52:50 +0100},
  biburl       = {https://dblp.org/rec/journals/eccc/FlemingGGR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics