Author： Dershowitz N. Hoot C.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.142, Iss.2, 1995-05, pp. : 179-207
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Termination of Floating-Point Computations
By Serebrenik Alexander Schreye Danny
Journal of Automated Reasoning, Vol. 34, Iss. 2, 2005-12 ,pp. :
Access to resources
Recommend
Induction for termination with local strategies
By Fissore O. Gnaedig I. Kirchner H.
Electronic Notes in Theoretical Computer Science, Vol. 58, Iss. 2, 2004-01 ,pp. :
Simple termination of rewrite systems
Theoretical Computer Science, Vol. 175, Iss. 1, 1997-03 ,pp. :
Termination of the F5 algorithm
By Galkin V.
Programming and Computer Software, Vol. 40, Iss. 2, 2014-03 ,pp. :