An extension of tree automata framework, called equational tree automata, is presented. This theory is useful to deal with uni cation modulo equational rewriting. In the manuscript, we demonstrate how equational tree automata can be applied to uni cation problems. 1 Equational Tree Languages Uni cation modulo equational theory is a central topic in automated reasoning. Tree automata are the pow...

We consider the Rosenfeld-Gröbner algorithm for computing a regular decomposition of a radical differential ideal generated by a set of ordinary differential polynomials in n indeterminates. For a set of ordinary differential polynomials F , let M(F ) be the sum of maximal orders of differential indeterminates occurring in F . We propose a modification of the Rosenfeld-Gröbner algorithm, in whi...

For a 2-factor F of a connected graph G, we consider G − F , which is the graph obtained from G by removing all the edges of F . If G − F is connected, F is said to be a non-separating 2-factor. In this paper we study a sufficient condition for a 2r -regular connected graph G to have such a 2-factor. As a result, we show that a 2r -regular connected graph G has a non-separating 2-factor wheneve...

in recent years, many changes have been observed in buying culture of customers and developing chain stores in iran. moreover, need to be more competition in business environments made necessary the stablishment of chain stores, the creation of competitive advantage and long relations to the costumers. regular marketing is a response to stores requirement when establishing such a win-win long r...

Abstract In this paper, we prove the abundance theorem for numerically trivial canonical divisors on strongly F -regular varieties, assuming that geometric generic fibers of Albanese morphisms are -regular.

The continuum function F on regular cardinals is known to have great freedom; if α, β are regular cardinals, then F needs only obey the following two restrictions: (1) cf(F (α)) > α, (2) α < β → F (α) ≤ F (β). However, if we wish to preserve measurable cardinals in the generic extension, new restrictions must be put on F . We say that κ is F (κ)-hypermeasurable if there is an elementary embeddi...

Given a surface F , we are interested in Z/2 valued invariants of immersions of F intoR3, which are constant on each connected component of the complement of the quadruple point discriminant in Imm(F,R3). Such invariants will be called “q-invariants.” Given a regular homotopy class A ⊆ Imm(F,R3), we denote by Vn(A) the space of all q-invariants on A of order ≤ n. We show that if F is orientable...

In this paper we prove a new representation formula for slice regular functions, which shows that the value of a slice regular function f at a point q = x + yI can be recovered by the values of f at the points q + yJ and q + yK for any choice of imaginary units I, J,K. This result allows us to extend the known properties of slice regular functions defined on balls centered on the real axis to a...

In this note I show that for most F–finite regular rings R of positive characteristic the localization Rf at an element f ∈ R is generated by f as a DR–module. This generalizes and gives an alternative proof of te results in [1] where the result is proven for the polynomial ring, thereby answering questions raised in [1] affirmatively. The proof given here is a surprisingly simple application o...

A general formulation of the single machine scheduling problem with fuzzy parameters is proposed. Such notions as schedule, cost function and precedence relation are defined. The concept of f regular cost function is introduced and several properties of the class of problems with f -regular cost function are shown.