Let K be a locally compact hypergroup. In this paper, among other results we give sufficient condition for the inclusion LΦ1w (K) * LΦ2w ⊆ to hold. Also, as an application, provide new weighted Orlicz space LΦw convolution Banach algebra.

Let {Rn} and {Pn} be two polynomial systems which induce signed polynomial hypergroup structures on N0. We investigate when the Banach algebra l(N0, h) can be continuously embedded into or is isomorphic to l(N0, h ). We find sufficient conditions on the connection coefficients cnk given by Rn = ∑n k=0 cnkPk, for the existence of such an embedding or isomorphism. Finally we apply these results t...

Deterministic conditional rewrite systems permit extra variables on the right-hand sides of the rules. If such a system is quasi-reductive or quasi-simplifying, then it is terminating and has a computable rewrite relation. This paper provides new criteria for showing quasi-reductivity and quasi-simplifyingness. In this context, another criterion from ALS94] will be rectiied and a claim in Mar96...

In this paper, the concepts of minimal and maximal left hyperideals in ordered semihypergroups are introduced, and several related properties are investigated. Furthermore, we introduce the concepts of weakly prime, quasi-prime, quasi-semiprime and weakly quasiprime left hyperideals of an ordered semihypergroup, and establish the relationship among the four classes of left hyperideals. Moreover...

In the line of introducing a manageable model theoretic approach to partial algebras, here such classes of partial algebras are to be considered in which free algebras still exist (in a categorical language: which are epireflective). This note is to be understood as one among others introducing this kind of model theory (in another one, see [4], varieties of partial algebras are considered). We...

We study the roles played by four special types of bases (weakly uniform bases, ω-in-ω bases, open-in-finite bases, and sharp bases) in the classes of linearly ordered and generalized ordered spaces. For example, we show that a generalized ordered space has a weakly uniform base if and only if it is quasi-developable and has a Gδ-diagonal, that a linearly ordered space has a point-countable bas...

In this paper we address the problem of constructing quasi-interpolants in the space of quadratic Powell-Sabin splines on nonuniform triangulations. Quasi-interpolants of optimal approximation order are proposed and numerical tests are presented.

Presburger arithmetic is the first-order theory of the natural numbers with addition (but no multiplication). We characterize sets that can be defined by a Presburger formula as exactly the sets whose characteristic functions can be represented by rational generating functions; a geometric characterization of such sets is also given. In addition, if p = (p1, . . . , pn) are a subset of the free...

We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration for model checking concurrent software. Our technique hinges on a new characterization of partial orders defined by computations of a concurrent program in terms of quasi-monotonic sequences of thread-ids. This characterizatio...