Strategy Compliant Multi-Threaded Term Completion

• 1 April 1996
• journal article
• Published by Elsevier in Journal of Symbolic Computation
• Vol. 21  (4) , 475-505
• https://doi.org/10.1006/jsco.1996.0027

Abstract

Keywords

• STRATEGY COMPLIANT MULTI-THREADED TERM