Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[HSZ+13]  Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines

Crossprod13 (In proceedings)
Author(s)Christian Herrmann and Johanna Sokoli and Martin Ziegler
Title« Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines »
InProc. 6th Int. Conf. Machines, Computations and Universality
SeriesElectronic Proceedings in Theoretical Computer Science
Volume128
Page(s)85--92
Year2013

BibTeX code
@inproceedings{Crossprod13,
  booktitle = {Proc. 6th Int. Conf. Machines, Computations and Universality},
  author = {Christian Herrmann and Johanna Sokoli and Martin Ziegler},
  volume = {128},
  series = {Electronic Proceedings in Theoretical Computer Science},
  title = {Satisfiability of cross product terms is complete for real
           nondeterministic polytime Blum-Shub-Smale machines},
  year = {2013},
  pages = {85--92},
}

 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!