In this paper, a new viscosity iterative process, which converges strongly to a common element of the set of fixed points of a finite family of pseudo-contractive mappings more general than non-expansive mappings, is introduced in Banach spaces. Strong convergence theorems are obtained under milder conditions. The results presented in this paper extend and unify most of the results that have be...

We study in this paper the existence and approximation of solutions of variational inequalities involving generalized pseudo-contractive mappings in Banach spaces. The convergence analysis of a proposed hybrid iterative method for approximating common zeros or fixed points of a possibly infinitely countable or uncountable family of such operators will be conducted within the conceptual framewor...

In this paper, we introduce a new iterative scheme by viscosity approximation methods for strict pseudo-contractive nonself-mappings in Hilbert spaces and obtain a strong convergence theorem. The theorem improves and extends the result of Shimizu and Takahashi [T. Shimizu, W. Takahashi, Strong convergence to common fixed points of families of nonexpansive mappings, J. Math. Anal. Appl. 211 (199...

Safety analysis is an algorithm for determining if a term in an untyped lambda calculus with constants is safe, i.e., if it does not cause an error during evaluation. We prove that safety analysis accepts strictly more safe lambda terms than does type inference for Thatte's partial types.