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

Details:

    
TitleDeciding Polynomial-exponential Problems
Author(s) Scott McCallum, Achatz Melanie, Volker Weispfenning
TypeArticle in Conference Proceedings
Keywordsdecision procedure, exponential polynomials
ISBN978-1-59593-904-3
URL http://doi.acm.org/10.1145/1390768.1390799
LanguageEnglish
SeriesISSAC
Pages215--222
PublisherACM
AddressNew York, NY, USA
Year2008
Edition0
Translation No
Refereed No
Webmaster