Parallelization of Termination Checkers for Algebraic Software
Transactions on Machine Learning and Artificial Intelligence
doi 10.14738/tmlai.24.368
Full Text
Open PDFAbstract
Available in full text
Date
August 28, 2014
Authors
Publisher
Scholar Publishing