Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
Author(s)
Deepak Kapur
,
Yao Sun
,
Dongming Wang
Type
Article in Journal
Abstract
Keywords
ISSN
0747-7171
URL
http://www.sciencedirect.com/science/article/pii/S0747717111002082
Language
English
Journal
Journal of Symbolic Computation
Volume
49
Number
0
Pages
27 - 44
Year
2013
Note
The International Symposium on Symbolic and Algebraic Computation
Edition
0
Translation
No
Refereed
No
Webmaster