we consider the concept of ω-distance on a complete partially ordered g-metric space and prove some common fixed point theorems.

The Structural Induction Theorem (Lehmann and Smyth, 1981; Plotkin, 1981) characterizes initial F-algebras of locally continuous functors F on the category of cpo's with strict and continuous maps. Here a dual of that theorem is presented, giving a number of equivalent characterizations of nal coalgebras of such functors. In particular, nal coalgebras are order strongly-extensional (sometimes c...

"This paper deals with some existence results for a class of implicit fractional q-difference equations. The are based on the fi xed point theory in Banach spaces and concept measure noncompactness. An illustrative example is given last section."

In this paper, we give some xed point theorems for '-weak contractivetype mappings on complete G-metric space, which was given by Zaed andSims [1]. Also a homotopy result is given.

This paper deals with adaptive simulation of time-dependent problems. Mesh adaptation for unsteady con gurations is especially important as the phenomenon evolves in the whole computational domain and, in order to capture such a phenomenon accurately on adapted meshes, one has to predict the evolution path. Here, we propose a new adaptive algorithm for time-dependent simulation; the idea is to ...

recently, zhang and song [q. zhang, y. song, fixed point theory forgeneralized $varphi$-weak contractions,appl. math. lett. 22(2009) 75-78] proved a common fixed point theorem for two mapssatisfying generalized $varphi$-weak contractions. in this paper, we prove a common fixed point theorem fora family of compatible maps. in fact, a new generalization of zhangand song's theorem is given.

We consider the problem of nding models for logic programs P via xed points of immediate consequence operators TP Certain extensions of syntax invalidate the classical approach adopted in the case of de nite programs using iterates of TP and the Knaster Tarski theorem We discuss alternatives to the use of this theorem based on elementary notions from topological dynamics This leads us to consid...

some algorithms for nding common xed point of a family of mappings isconstructed. indeed, let c be a nonempty closed convex subset of a uniformlyconvex banach space x whose norm is gateaux dierentiable and let {tn} bea family of self-mappings on c such that the set of all common fixed pointsof {tn} is nonempty. we construct a sequence {xn} generated by the hybridmethod and also we give the ...

Recently, Zhang and Song [Q. Zhang, Y. Song, Fixed point theory forgeneralized $varphi$-weak contractions,Appl. Math. Lett. 22(2009) 75-78] proved a common fixed point theorem for two mapssatisfying generalized $varphi$-weak contractions. In this paper, we prove a common fixed point theorem fora family of compatible maps. In fact, a new generalization of Zhangand Song's theorem is given.

We describe an encoding of major parts of domain theory in the PVS extension of the simply typed calculus these encodings consist of Formalizations of basic structures like partial orders and complete partial orders domains Various domain constructions Notions related to monotonic functions and continuous functions Knaster Tarski xed point theorems for monotonic and continuous functions the pro...