Details:
| Title | Strategy Compliant Multi-Threaded Term Completion | | Author(s) | Reinhard , Manfred , Wolfgang | | Type | Article in Journal | | Length | 31 | | ISSN | 0747-7171 |
| Language | English | | Journal | Journal of Symbolic Computation | | Volume | 21 | | Number | 4/5/6 | | Pages | 475--505 | | Year | 1996 | | Translation |
No | | Refereed |
Yes |
|
