Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/519a03d4364aa10c8a4b53ceeb67c34a4bbf0186f33b810d5dfe03e0b1e3e80b> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 519a03d4364aa10c8a4b53ceeb67c34a4bbf0186f33b810d5dfe03e0b1e3e80b authorlink "George E. Collins".
- 519a03d4364aa10c8a4b53ceeb67c34a4bbf0186f33b810d5dfe03e0b1e3e80b contribution "Quantifier elimination for real closed fields by cylindrical algebraic decomposition".
- 519a03d4364aa10c8a4b53ceeb67c34a4bbf0186f33b810d5dfe03e0b1e3e80b first "George E.".
- 519a03d4364aa10c8a4b53ceeb67c34a4bbf0186f33b810d5dfe03e0b1e3e80b isCitedBy Existential_theory_of_the_reals.
- 519a03d4364aa10c8a4b53ceeb67c34a4bbf0186f33b810d5dfe03e0b1e3e80b last "Collins".
- 519a03d4364aa10c8a4b53ceeb67c34a4bbf0186f33b810d5dfe03e0b1e3e80b location "Berlin".
- 519a03d4364aa10c8a4b53ceeb67c34a4bbf0186f33b810d5dfe03e0b1e3e80b mr "0403962".
- 519a03d4364aa10c8a4b53ceeb67c34a4bbf0186f33b810d5dfe03e0b1e3e80b pages "134–183".
- 519a03d4364aa10c8a4b53ceeb67c34a4bbf0186f33b810d5dfe03e0b1e3e80b publisher "Springer-Verlag".
- 519a03d4364aa10c8a4b53ceeb67c34a4bbf0186f33b810d5dfe03e0b1e3e80b series Lecture_Notes_in_Computer_Science.
- 519a03d4364aa10c8a4b53ceeb67c34a4bbf0186f33b810d5dfe03e0b1e3e80b title "Automata theory and formal languages".
- 519a03d4364aa10c8a4b53ceeb67c34a4bbf0186f33b810d5dfe03e0b1e3e80b volume "33".
- 519a03d4364aa10c8a4b53ceeb67c34a4bbf0186f33b810d5dfe03e0b1e3e80b year "1975".