Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleHauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Author(s) George E. Collins
TypeArticle in Conference Proceedings
ISBN3-540-07407-4
LanguageEnglish
JournalLecture Notes in Computer Science
Volume33
Pages134-183
PublisherSpringer-Verlag
AddressLondon, UK
Year1975
Translation No
Refereed No
Conferencename2nd GI Conference on Automata Theory and Formal Languages
Webmaster