Functional logic languages with a sound and complete opera tional semantics are mainly based on narrowing Due to the huge search space of simple narrowing steadily improved narrowing strategies have been developed in the past Needed narrowing is currently the best nar rowing strategy for rst order functional logic programs due to its opti mality properties w r t the length of derivations and th...

Although there are many excellent ways presenting the principle of the classical calculus, the novel presentations probably leads most naturally to the development of the non-Newtonian calculus. The important point to note is that the non-Newtonian calculus is a self-contained system independent of any other system of calculus. Since this self-contained work is intended for a wide audience, inc...

In this study, we establish generaized Grüss type inequality and some generaized Cebysev type inequalities for local fractional integrals on frac-tal sets R (0 < 1) of real line numbers.