Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
Deciding Polynomial-exponential Problems
Author(s)
Scott McCallum
,
Achatz Melanie
,
Volker Weispfenning
Type
Article in Conference Proceedings
Keywords
decision procedure, exponential polynomials
ISBN
978-1-59593-904-3
URL
http://doi.acm.org/10.1145/1390768.1390799
Language
English
Series
ISSAC
Pages
215--222
Publisher
ACM
Address
New York, NY, USA
Year
2008
Edition
0
Translation
No
Refereed
No
Webmaster