Details:
Title | | Author(s) | Antonio Montes, Michael Wimber | Type | Article in Journal | Abstract | | Keywords | |
Language | English | Journal | Journal of Symbolic Computation | Volume | 45 | Number | 12 | Pages | 1391-1425 | Publisher | ACM Press | Year | 2010 | Month | December | Translation |
No | Refereed |
Yes |
|