July 2012

An overview of term rewriting systems

  It is well-known that termination of finite term of rewriting systems is generally undecidable. NoItwithstanding, a remarkable result is that, rewriting systems are Turing complete. A number of methods have been developed to establish termination for certain term of rewriting systems, particularly occurring in practical situations. In this paper, we present an overview of the existing methods used for...

Author(s): Dasharath Singh, Ali Maianguwa Shuaibu and Adeku Musa Ibrahim

July 2012

An inventory model for deteriorating items with different constant demand rates

  In this paper, we study the inventory model for deteriorating items with different constant demand rates, that is, the demand rate is piecewise linear function. The deterioration rate is assumed as constant. We have proposed an inventory replenishment policy for this type of inventory model. The numerical solution of the model is also obtained and examined.   Key words: Inventory,...

Author(s): Trailokyanath Singh and Sudhir Kumar Sahu