Matches in DBpedia 2016-04 for { <http://doi.org/10.1109/lics.2011.8> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- lics.2011.8 contribution "Computational Complexity of Quantum Satisfiability".
- lics.2011.8 doi "10.1109/LICS.2011.8".
- lics.2011.8 first1 "Christian".
- lics.2011.8 first2 "Martin".
- lics.2011.8 isCitedBy Existential_theory_of_the_reals.
- lics.2011.8 last1 "Herrmann".
- lics.2011.8 last2 "Ziegler".
- lics.2011.8 pages "175-184".
- lics.2011.8 title "Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science".
- lics.2011.8 year "2011".