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

Details:

    
TitleApproaches to Parallel Quantifier Elimination
Author(s) Andreas Dolzmann, Oliver Gloor, Stephan Thomasse
TypeArticle in Conference Proceedings
ISBN1-58113-002-3
URL http://doi.acm.org/10.1145/281508.281564
LanguageEnglish
SeriesISSAC
Pages88--95
PublisherACM
AddressNew York, NY, USA
Year1998
Edition0
Translation No
Refereed No
Webmaster