Parallelization of Termination Checkers for Algebraic Software. (2014)

Record Type:: Journal Article
Title:: Parallelization of Termination Checkers for Algebraic Software. (2014)
Main Title:: Parallelization of Termination Checkers for Algebraic Software
Authors:: Ding, Rui
Sato, Haruhiko
Kurihara, Masahito
Is Part Of:: Transactions on machine learning and artificial intelligence. Volume 2:Number 4(2014)
Journal:: Transactions on machine learning and artificial intelligence
Issue:: Volume 2:Number 4(2014)
Issue Display:: Volume 2, Issue 4 (2014)
Year:: 2014
Volume:: 2
Issue:: 4
Issue Sort Value:: 2014-0002-0004-0000
Page Start:
Page End:
Publication Date:: 2014
Subjects:: Machine learning -- Periodicals
Artificial intelligence -- Periodicals
006.305
Journal URLs:: http://scholarpublishing.org/index.php/TMLAI/index ↗
DOI:: ↗
Languages:: English
ISSNs:: 2054-7390
Deposit Type:: Legaldeposit
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗
Physical Locations:: British Library HMNTS - ELD Digital store
Ingest File:: 14657.xml