BibTeX record journals/corr/HerrmannSZ13

• > Home > journals/corr/HerrmannSZ13

@inproceedings{DBLP:journals/corr/HerrmannSZ13,
  author       = {Christian Herrmann and
                  Johanna Sokoli and
                  Martin Ziegler},
  editor       = {Turlough Neary and
                  Matthew Cook},
  title        = {Satisfiability of cross product terms is complete for real nondeterministic
                  polytime Blum-Shub-Smale machines},
  booktitle    = {Proceedings Machines, Computations and Universality 2013, {MCU} 2013,
                  Z{\"{u}}rich, Switzerland, September 9-11, 2013},
  series       = {{EPTCS}},
  volume       = {128},
  pages        = {85--92},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.128.16},
  doi          = {10.4204/EPTCS.128.16},
  timestamp    = {Thu, 28 Nov 2019 10:42:59 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/HerrmannSZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}