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

Details:

    
TitleDeciding polynomial-transcendental problems
Author(s) Scott McCallum, Volker Weispfenning
TypeArticle in Journal
Abstract
KeywordsDecision procedure, Exponential polynomials
ISSN0747-7171
URL http://www.sciencedirect.com/science/article/pii/S0747717111001167
LanguageEnglish
JournalJournal of Symbolic Computation
Volume47
Number1
Pages16 - 31
Year2012
Edition0
Translation No
Refereed No
Webmaster