Matches in DBpedia 2016-04 for { <http://doi.org/10.4204/eptcs.128> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- eptcs.128 contribution "Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines".
- eptcs.128 doi "10.4204/EPTCS.128".
- eptcs.128 first1 "Christian".
- eptcs.128 first2 "Johanna".
- eptcs.128 first3 "Martin".
- eptcs.128 isCitedBy Existential_theory_of_the_reals.
- eptcs.128 last1 "Herrmann".
- eptcs.128 last2 "Sokoli".
- eptcs.128 last3 "Ziegler".
- eptcs.128 title "Proceedings of the 6th Conference on Machines, Computations and Universality".
- eptcs.128 year "2013".